A Categorical View of Timed Weak Bisimulation

DOI10.1007/978-3-642-13562-0_40zbMath1284.68426OpenAlexW1574910970MaRDI QIDQ3569097

I. B. Virbitskaite, Nataliya Gribovskaya

Publication date: 17 June 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13562-0_40

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: A Categorical View of Timed Weak Bisimulation