Formal Interoperability (1998)

Cached

Download Links

by José Meseguer
Citations:13 - 3 self

Documents Related by Co-Citation

168 General logics – José Meseguer - 1989
26 General logics and logical frameworks – N Marti-Oliet, J Meseguer
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
31 Research Directions in Rewriting Logic – José Meseguer - 1998
35 Reflection in general logics and in rewriting logic, with applications to the Maude language – M Clavel - 1998
19 An Extensible Module Algebra For Maude – Francisco Durán, José Meseguer - 1998
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
135 A logical theory of concurrent objects and its realization in the Maude language – J Meseguer - 1993
16 Membership algebra as a semantic framework for equational specification – J Meseguer - 1998
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
45 Protocol Specification and Analysis in Maude – G. Denker, J. Meseguer, C. Talcott - 1998
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
104 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
46 I borrow your logic? (transporting logical structures along maps – M Cerioli, J Meseguer
2 Pure type systems in rewriting logic --- meta-logical and meta-operational views – M-O Stehr, J Meseguer
60 Designing Constraint Logic Programming Languages using Computational Systems – C KIRCHNER, H KIRCHNER, M VITTEK - 1993
86 ELAN: A logical framework based on computational systems – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek - 1997
123 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996