Structural operational semantics

• L. Aceto, W.J. Fokkink and C. Verhoef (2001): Structural operational semantics, in J.A. Bergstra, A. Ponse & S.A. Smolka, eds: Handbook of Process Algebra, Elsevier, pp. 197-292.

• Full Abstraction in Structural Operational Semantics (extended abstract)
• On the expressiveness of ACP (extended abstract)
• The Meaning of Negative Premises in Transition System Specifications II
• (with W.J. Fokkink) Ntyft/ntyxt Rules Reduce to Ntree Rules
• (with B. Bloom & W.J. Fokkink) Precongruence Formats for Decorated Trace Preorders
• (with B. Bloom & W.J. Fokkink) Precongruence Formats for Decorated Trace Semantics
• (with W.J. Fokkink & P. de Wind) Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
• (with W.J. Fokkink & P. de Wind) Compositionality of Hennessy-Milner Logic by Structural Operational Semantics
• On Cool Congruence Formats for Weak Bisimulations (extended abstract)
• On Cool Congruence Formats for Weak Bisimulations
• (with W.J. Fokkink & P. de Wind) Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
• (with W.J. Fokkink & P. de Wind) Divide and Congruence Applied to η-Bisimulation
• (with W.J. Fokkink & P. de Wind) Divide and Congruence: From Decomposition of Modal Formulas to Preservation of Branching and η-Bisimilarity

• (with P. Mosses) Proceedings of the 3rd Workshop on Structural Operational Semantics, Bonn, Germany, 26 August 2006.
• (with M. Hennessy) Proceedings of the 4th Workshop on Structural Operational Semantics, Wroclaw, Poland, 9 July 2007.
• (with P. Mosses) Special Issue of Information & Computation on Structural Operational Semantics, 2008.