Formal Relationships Between Geometrical and Classical Models for Concurrency

DOI10.1016/j.entcs.2012.05.007zbMath1347.68265WikidataQ113318120 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

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

Related Items

The geometry of conservative programs, Weak equivalence of higher-dimensional automata, Unnamed Item, History-preserving bisimilarity for higher-dimensional automata via open maps, A geometric view of partial order reduction, Topological abstraction of higher-dimensional automata, ST-structures, On symmetric higher-dimensional automata and bisimilarity, Weak morphisms of higher dimensional automata, Directed Homotopy in Non-Positively Curved Spaces

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item