Measurable stochastics for Brane Calculus

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

BioAmbients: an abstraction for biological compartments

Aviv Regev, Ekaterina M. Panina, William B. Silverman et al. · Theoretical Computer Science · 2004 · 473 citations

Biology, Pattern Formation, Engineering +8

Towards a mathematical operational semantics

Daniele Turi, Gordon Plotkin · 2002 · 362 citations · Full text

Formal Semantics, Syntax, Engineering +12

The origins of structural operational semantics

Gordon Plotkin · The Journal of Logic and Algebraic Programming · 2004 · 350 citations

Applied Linguistics, Formal Semantics, Philosophy Of Language +7

Bisimulation for Labelled Markov Processes

Information and Computation · 2002 · 305 citations

Engineering, Automated Reasoning, Labelled Markov Processes +5