Topological abstraction of higher-dimensional automata
From MaRDI portal
Publication:278749
DOI10.1016/j.tcs.2016.04.018zbMath1339.68188arXiv1506.02270MaRDI QIDQ278749
Publication date: 2 May 2016
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1506.02270
68Q70: Algebraic theory of languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Weak equivalence of higher-dimensional automata, Unnamed Item, Labeled homology of higher-dimensional automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A geometric view of partial order reduction
- Some collapsing operations for 2-dimensional precubical sets
- Reparametrizations of continuous paths
- Models and van Kampen theorems for directed homotopy theory
- Myths about the mutual exclusion problem
- Combinatorics on traces
- Topological deformation of higher dimensional automata
- Some geometric perspectives in concurrency theory
- Components of the fundamental category
- A model category for the homotopy theory of concurrency
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Cubical approximation for directed topology. I
- Computing path categories of finite directed cubical complexes
- Relative directed homotopy theory of partially ordered spaces
- Towards a homotopy theory of process algebra
- The homology graph of a precubical set
- Weak morphisms of higher dimensional automata
- Components of the fundamental category. II
- Invariants of directed spaces
- A model category for local po-spaces
- On the expressiveness of higher dimensional automata
- Algebraic topology and concurrency
- T-homotopy and Refinement of Observation (I): Introduction
- Future Path-components in Directed Topology
- Formal Relationships Between Geometrical and Classical Models for Concurrency