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

Cached

Download Links

by José Meseguer
Citations:159 - 53 self

Documents Related by Co-Citation

481 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
176 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
103 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
628 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1066 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
616 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996