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

475 Conditional Rewriting Logic as a unified model of concurrency – J Meseguer - 1992
174 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
136 A Logical Theory of Concurrent Objects and its Realization in the Maude Language – J Meseguer - 1992
36 Generalized Rewrite Theories – Roberto Bruni, Jose Meseguer - 2003
21 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
53 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
53 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
1289 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
454 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
2426 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
104 Algebraic Semantics of Imperative Programs – J A Goguen, G Malcolm - 1996
17 Equational rules for rewriting logic – P Viry - 2002
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