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

Cached

Download Links

by José Meseguer , A Mi Madre , Fuensanta Guaita De Meseguer
Citations:127 - 45 self

Documents Related by Co-Citation

439 Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1 – J Meseguer - 1992
157 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
93 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
18 An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 – Prasanna Thati, Koushik Sen, Narciso Mart-oliet - 2003
145 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
134 A logical theory of concurrent objects and its realization in the Maude language – J Meseguer - 1993
32 Generalized Rewrite Theories – Roberto Bruni, Jose Meseguer - 2003
60 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
52 Rewriting Logic: Roadmap and Bibliography – Narciso Martí-Oliet, José Meseguer - 2001
50 Conditional rewriting logic as a uni model of concurrency. Theoretical computer science – J Meseguer - 1992
69 Experiments in Theorem Proving and Model Checking for Protocol Verification – Klaus Havelund, Natarajan Shankar - 1996
50 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
66 Formal Analysis of a Space Craft Controller using SPIN – Klaus Havelund, Mike Lowry, John Penix - 1998
276 Model Checking Java Programs Using Java PathFinder – Klaus Havelund, Thomas Pressburger - 1998
38 Java Model Checking – David Y.W. Park, Ulrich Stern, David Y. W, Park Ulrich, Stern Jens, Jens U. Skakkebk, David L. Dill - 2000
426 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1182 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
2028 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999