scientific article; zbMATH DE number 2086649
From MaRDI portal
Publication:4737185
zbMath1056.68105MaRDI QIDQ4737185
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800525.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
SOS formats and meta-theory: 20 years after ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Modular construction of complete coalgebraic logics ⋮ Unnamed Item ⋮ Category theory for operational semantics ⋮ Coalgebraic semantics for timed processes ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ GSOS for probabilistic transition systems ⋮ Bialgebraic Methods in Structural Operational Semantics