Membership Algebra as a Logical Framework for Equational Specification (1998)

Cached

Download Links

by José Meseguer , A Mi Madre , Fuensanta Guaita De Meseguer
Citations:142 - 46 self

Documents Related by Co-Citation

472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
170 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001
104 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
135 A logical theory of concurrent objects and its realization in the Maude language – J Meseguer - 1993
35 Generalized Rewrite Theories – Roberto Bruni, Jose Meseguer - 2003
20 An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 – Prasanna Thati, Koushik Sen, Narciso Mart-oliet - 2003
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
51 The Maude LTL Model Checker – Steven Eker, José Meseguer, Ambarish Sridharanarayanan - 2002
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
33 Specification of Real-Time and Hybrid Systems in Rewriting Logic – Peter Csaba Olveczky, Peter Csaba, José Meseguer - 1999
54 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
32 Mapping Tile Logic into Rewriting Logic – J. Meseguer - 1998
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
103 Algebraic Semantics of Imperative Programs – Joseph A Goguen, Grant Malcolm - 1996
16 Equational rules for rewriting logic – P Viry
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
21 Termination of Rewriting with Strategy Annotations – Salvador Lucas - 2001