A rewriting logic framework for operational semantics of membrane systems

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

The chemical abstract machine

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

Abstract Machine, Design, Unconventional Computing +3

Maude: specification and programming in rewriting logic

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

Engineering, Automated Reasoning, Regulated Rewriting +5

Structural Operational Semantics

Luca Aceto, C. Verhoef · BRICS Report Series · 1999 · 226 citations · Full text

Precise Semantics, Stepwise Fashion, Engineering +19

ELAN from a rewriting logic point of view

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau · Theoretical Computer Science · 2002 · 126 citations

Logic Point, Engineering, Automated Reasoning +5