Deriving Bisimulation Congruences for Conditional Reactive Systems

DOI10.1007/978-3-642-28729-9_24zbMath1352.68185OpenAlexW25522584MaRDI QIDQ2892783

Barbara König, Mathias Hülsbusch

Publication date: 22 June 2012

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_24

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (2)

A General Theory of Barbs, Contexts, and Labels ⋮ Unnamed Item

This page was built for publication: Deriving Bisimulation Congruences for Conditional Reactive Systems