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

Cached

Download Links

by José Meseguer , A Mi Madre , Fuensanta Guaita De Meseguer
Citations:143 - 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
624 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
1286 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1049 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
613 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
604 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997