The rewriting logic semantics project

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

Conditional rewriting logic as a unified model of concurrency

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

Computing, Computer Science, Computer Systems +9

The chemical abstract machine

Gérard Berry, Gérard Boudol · Theoretical Computer Science · 1992 · 817 citations

Computing, Chemistry, Computer Science +16

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 803 citations · Full text

Computing, Computer Science, Algebra +12