Formal Relationships Between Geometrical and Classical Models for Concurrency
From MaRDI portal
Publication:5179022
DOI10.1016/j.entcs.2012.05.007zbMath1347.68265WikidataQ113318120 ScholiaQ113318120MaRDI QIDQ5179022
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
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, Weak morphisms of higher dimensional automata
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