Open Maps Bisimulations for Higher Dimensional Automata Models

DOI10.1007/978-3-642-03409-1_25MaRDI QIDQ3183618zbMATH OpenOpenAlexFDO

Authors E. S. Oshevskaya

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

Mathematics Subject Classification ID

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)

Recommendations

• History-preserving bisimilarity for higher-dimensional automata via open maps
• scientific article; zbMATH DE number 1339961
• Bisimulation from open maps
• scientific article; zbMATH DE number 1231607
• Open maps and barbed bisimulation for timed transition systems
• On quasi-open bisimulation
• Profunctors, open maps and bisimulation
• Open bisimulation, revisited
• Open bisimulation, revisited
• On symmetric higher-dimensional automata and bisimilarity

Cited in

(6)

• History-preserving bisimilarity for higher-dimensional automata via open maps
• Unifying behavioral equivalences of timed transition systems
• On symmetric higher-dimensional automata and bisimilarity
• Unifying equivalences for timed transition systems
• Foundations of Software Science and Computational Structures
• Timed history preserving bisimulation and open maps

This page was built for publication: Open Maps Bisimulations for Higher Dimensional Automata Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3183618)