- Publications
- Influence
Share This Author
Security Policies and Security Models
- J. Goguen, J. Meseguer
- Computer ScienceIEEE Symposium on Security and Privacy
- 26 April 1982
We assune that the reader is familiar with the ubiquity of information in the modern world and is sympathetic with the need for restricting rights to read, add, modify, or delete information in…
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
- M. Clavel, F. Durán, C. Talcott
- Computer ScienceAll About Maude
- 20 July 2007
TLDR
Maude: specification and programming in rewriting logic
- M. Clavel, F. Durán, J. F. Quesada
- Computer ScienceTheor. Comput. Sci.
- 28 August 2002
Conditioned Rewriting Logic as a United Model of Concurrency
- J. Meseguer
- Computer ScienceTheor. Comput. Sci.
- 6 April 1992
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
- J. Goguen, J. Meseguer
- Mathematics, Computer ScienceTheor. Comput. Sci.
- 9 November 1992
Membership algebra as a logical framework for equational specification
- J. Meseguer
- PhilosophyWADT
- 1 July 1997
TLDR
Petri Nets Are Monoids
- J. Meseguer, U. Montanari
- Computer ScienceInf. Comput.
- 1 August 1990
The Maude 2.0 System
- M. Clavel, F. Durán, C. Talcott
- Computer ScienceRTA
- 9 June 2003
This paper gives an overviewof the Maude 2.0 system. We emphasize the full generality with which rewriting logic and membership equational logic are supported, operational semantics issues, the new…
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
- G. Agha, J. Meseguer, Koushik Sen
- Computer ScienceElectron. Notes Theor. Comput. Sci.
- 1 May 2006
Principles of Maude
- M. Clavel, S. Eker, P. Lincoln, J. Meseguer
- Computer ScienceWRLA
- 1996
...
...