scientific article; zbMATH DE number 869193

zbMath0908.68100MaRDI QIDQ4874391

Robert J. van Glabbeek

Publication date: 23 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticsconcurrent computer systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Actors, actions, and initiative in normative system specification, Essential transitions to bisimulation equivalences, Process algebra with language matching, Compositionality and bisimulation: A negative result, On the computational complexity of bisimulation, redux, A Complete STIT Logic for Knowledge and Action, and Some of Its Applications, Basic process algebra with deadlocking states, Generating priority rewrite systems for OSOS process languages, Finite axiom systems for testing preorder and De Simone process languages, Ordered SOS process languages for branching and eager bisimulations, A complete modal proof system for HAL: the Herbrand agent language