A component-based Petri net model for specifying and validating cooperative information systems

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

Concepts and paradigms of object-oriented programming

Peter Wegner · ACM SIGPLAN OOPS Messenger · 1990 · 437 citations · Full text

Computing, Computer Science, Formal Methods +14

Extending object-oriented systems with roles

Georg Gottlob, Michael Schrefl, Brigitte Röck · ACM Transactions on Information Systems · 1996 · 269 citations · Full text

Computing, Computer Science, Databases +14

Petri nets and algebraic specifications

Wolfgang Reisig · Theoretical Computer Science · 1991 · 259 citations

Computing, Computer Science, Formal Methods +10