Formal Relationships Between Geometrical and Classical Models for Concurrency

DOI10.1016/j.entcs.2012.05.007zbMath1347.68265OpenAlexW2022442264WikidataQ113318120 ScholiaQ113318120MaRDI QIDQ5179022

Samuel Mimram, Eric Goubault

Publication date: 18 March 2015

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2012.05.007

Mathematics Subject Classification ID

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 ⋮ A geometric view of partial order reduction ⋮ Weak equivalence of higher-dimensional automata ⋮ Topological abstraction of higher-dimensional automata ⋮ ST-structures ⋮ Unnamed Item ⋮ Weak morphisms of higher dimensional automata ⋮ The geometry of conservative programs ⋮ On symmetric higher-dimensional automata and bisimilarity ⋮ Directed Homotopy in Non-Positively Curved Spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatorics of labelling in higher-dimensional automata
• On the algebra of cubes
• Sheaves in geometry and logic: a first introduction to topos theory
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex
• Event Structures with Symmetry
• Concurrent Machines
• PETRI NETS AND STEP TRANSITION SYSTEMS
• On the classification of dipaths in geometric models for concurrency
• Loops, ditopology and deadlocks
• Verification: Theory and Practice
• Containment in Rule-Based Models
• Foundations of Software Science and Computational Structures