Deriving Bisimulation Congruences with Borrowed Contexts

DOI10.1007/978-3-540-73859-6_3zbMath1214.68249OpenAlexW1493819340MaRDI QIDQ3612482

Barbara König

Publication date: 10 March 2009

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

This page was built for publication: Deriving Bisimulation Congruences with Borrowed Contexts