Maude Object-Oriented Action Tool
MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2013 |
| País: | Brasil |
| Institución: | Universidade Federal do Rio Grande do Norte (UFRN) |
| Repositorio: | Repositório Institucional da UFRN |
| Idioma: | inglés |
| OAI Identifier: | oai:repositorio.ufrn.br:1/6231 |
| Acceso en línea: | https://repositorio.ufrn.br/jspui/handle/1/6231 |
| Access Level: | acceso abierto |
| Palabra clave: | Formal Semantics. Maude. Object-Oriented Action Semantics. |
| Sumario: | MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008. |
|---|