Principles of Maude
Open Access
- 31 December 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 65-89
- https://doi.org/10.1016/s1571-0661(04)00034-9
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Rewriting as a unified model of concurrencyPublished by Springer Nature ,2005
- Solving the Inheritance Anomaly in Concurrent Object-Oriented ProgrammingPublished by Springer Nature ,2000
- Specification and proof in membership equational logicPublished by Springer Nature ,1997
- Rewriting logic as a semantic framework for concurrency: a progress reportPublished by Springer Nature ,1996
- Specification, transformation, and programming of concurrent systems in rewriting logicPublished by American Mathematical Society (AMS) ,1994
- Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion ProblemsInformation and Computation, 1993
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Parallel programming in maudeLecture Notes in Computer Science, 1992
- A logical theory of concurrent objectsPublished by Association for Computing Machinery (ACM) ,1990
- The semantics of clear, a specification languagePublished by Springer Nature ,1980