Open Maps Bisimulations for Higher Dimensional Automata Models
From MaRDI portal
Publication:3183618
DOI10.1007/978-3-642-03409-1_25zbMath1252.68181OpenAlexW1558612067MaRDI QIDQ3183618
Publication date: 20 October 2009
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03409-1_25
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
Related Items
This page was built for publication: Open Maps Bisimulations for Higher Dimensional Automata Models