José Meseguer

Security Policies and Security Models

Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations

Computing, Computer Science, Computer Systems +15

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

Computing, Computer Science, Computer Systems +9

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 772 citations · Full text

Computing, Computer Science, Formal Methods +7

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Joseph A. Goguen, José Meseguer · Theoretical Computer Science · 1992 · 496 citations

Natural Sciences, Computer Science, Algebra +12

Principles of OBJ2

Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud et al. · 1985 · 468 citations

Computing, Computer Science, Computational Linguistics +4