Security policies and security models JA Goguen, J Meseguer Symposium on Security and Privacy, 11-20, 1982 | 2536 | 1982 |

Conditional rewriting logic as a unified model of concurrency J Meseguer Theoretical computer science 96 (1), 73-155, 1992 | 1735 | 1992 |

All about maude-a high-performance logical framework: how to specify, program and verify systems in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott Springer-Verlag, 2007 | 1261 | 2007 |

Introducing obj JA Goguen, T Winkler, J Meseguer, K Futatsugi, JP Jouannaud Software Engineering with OBJ, 3-167, 2000 | 1029 | 2000 |

Maude: Specification and programming in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Theoretical Computer Science 285 (2), 187-243, 2002 | 990 | 2002 |

Principles of OBJ2. K Futatsugi, JA Goguen, JP Jouannaud, J Meseguer Conference Record of the Annual ACM Symposium on Principles of Programming …, 1985 | 764 | 1985 |

Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations JA Goguen, J Meseguer Theoretical Computer Science 105 (2), 217-273, 1992 | 686 | 1992 |

General logics J Meseguer Studies in Logic and the Foundations of Mathematics 129, 275-329, 1989 | 556 | 1989 |

Membership algebra as a logical framework for equational specification J Meseguer International Workshop on Algebraic Development Techniques, 18-61, 1997 | 532 | 1997 |

Unwinding and inference control JA Goguen, J Meseguer 1984 IEEE Symposium on Security and Privacy, 75-75, 1984 | 516 | 1984 |

Petri nets are monoids J Meseguer, U Montanari Information and computation 88 (2), 105-155, 1990 | 512 | 1990 |

Petri nets are monoids J Meseguer, U Montanari Information and computation 88 (2), 105-155, 1990 | 512 | 1990 |

Rewriting logic as a logical and semantic framework N Martí-Oliet, J Meseguer Electronic Notes in Theoretical Computer Science 4, 190-225, 1996 | 400* | 1996 |

Initiality, induction, and computability J Meseguer, JA Goguen Algebraic methods in semantics, 459-541, 1986 | 387 | 1986 |

The maude 2.0 system M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott International Conference on Rewriting Techniques and Applications, 76-87, 2003 | 375 | 2003 |

Eqlog: Equality, types, and generic modules for logic programming JA Goguen Logic Programming: Functions, Relations, and Equations, 295-364, 1986 | 361 | 1986 |

A logical theory of concurrent objects and its realization in the Maude language J Meseguer Research Directions in Concurrent Object-oriented Programming, Chap. 12, 314-390, 1993 | 357 | 1993 |

Principles of maude M Clavel, S Eker, P Lincoln, J Meseguer Electronic Notes in Theoretical Computer Science 4, 65-89, 1996 | 349 | 1996 |

Unifying functional, object-oriented and relational programming with logical semantics JA Goguen, J Meseguer Research Directions in Object-Oriented Programming, 417-478, 1987 | 326 | 1987 |

Specification and proof in membership equational logic A Bouhoula, JP Jouannaud, J Meseguer Theoretical Computer Science 236 (1-2), 35-132, 2000 | 285 | 2000 |