Structural operational semantics

Structural operational semantics

An overview of work in this area and further references can be found in

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.

My own contributions to this area are

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)
(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

Rob van Glabbeek

rvg@CS.Stanford.EDU