History-preserving bisimilarity for higher-dimensional automata via open maps

DOI10.1016/j.entcs.2013.09.012zbMath1334.68117arXiv1209.4927OpenAlexW2081965543WikidataQ113317963 ScholiaQ113317963MaRDI QIDQ265804

Axel Legay, Uli Fahrenberg

Publication date: 12 April 2016

Full work available at URL: https://arxiv.org/abs/1209.4927

zbMATH Keywords

homotopyconcurrencyunfoldinghigher-dimensional automatonhistory-preserving bisimilarity

Mathematics Subject Classification ID

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

Related Items

History-preserving bisimilarity for higher-dimensional automata via open maps, ST-structures, Weighted and branching bisimilarities from generalized open maps, Weak morphisms of higher dimensional automata, Spaces of directed paths on pre-cubical sets II

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• History-preserving bisimilarity for higher-dimensional automata via open maps
• Petri nets, event structures and domains. I
• Undecidability of domino games and hhp-bisimilarity.
• Weak factorization systems and topological functors
• Bisimulation from open maps
• Generating models of infinite-state communication protocols using regular inference with abstraction
• My time with Rob
• Weak factorizations, fractions and homotopies
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex
• Concurrent bisimulations in Petri nets
• A Theory of History Dependent Abstractions for Learning Interface Automata
• The unfolding of general Petri nets
• Homotopical interpretation of globular complex by multipointed d-space
• Concurrent Machines
• Geometry and concurrency: a user's guide
• Homotopy invariants of higher dimensional categories and concurrency in computer science
• Formal Relationships Between Geometrical and Classical Models for Concurrency
• Towards a homotopy theory of higher dimensional transition systems
• A convenient category for directed homotopy
• Foundations of Software Science and Computational Structures