Execution spaces for simple higher dimensional automata
From MaRDI portal
(Redirected from Publication:714637)
Simplicial sets and complexes in algebraic topology (55U10) Classification of homotopy type (55P15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy equivalences in algebraic topology (55P10)
Recommendations
- Deadlocks and dihomotopy in mutual exclusion models
- Cubical local partial orders on cubically subdivided spaces -- existence and construction
- Simplicial models for trace spaces. II: General higher dimensional automata
- Labeled homology of higher-dimensional automata
- Sculptures in concurrency
- T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
- scientific article; zbMATH DE number 1372681
- Combinatorics of branchings in higher dimensional automata
- On symmetric higher-dimensional automata and bisimilarity
- Topological abstraction of higher-dimensional automata
Cites work
- scientific article; zbMATH DE number 425858 (Why is no real title available?)
- scientific article; zbMATH DE number 709538 (Why is no real title available?)
- CONCUR 2005 – Concurrency Theory
- Colimit theorems for relative homotopy groups
- Combinatorial algebraic topology
- Components of the fundamental category
- Components of the fundamental category. II
- Depth-First Search and Linear Graph Algorithms
- Directed algebraic topology. Models of non-reversible worlds
- Erratum to `Dicovering spaces'
- Erratum to ``On the expressiveness of higher dimensional automata
- Homology computation by reduction of chain complexes
- Invariants of directed spaces
- Invitation to topological robotics
- Note: Combinatorial Alexander duality -- a short and elementary proof
- On the algebra of cubes
- On the classification of dipaths in geometric models for concurrency
- Reparametrizations of continuous paths
- Reparametrizations with given stop data
- Simplicial models for trace spaces. II: General higher dimensional automata
- Simplicial models of trace spaces
- Trace spaces in a pre-cubical complex
- Trace spaces: an efficient new technique for state-space reduction
Cited in
(15)- scientific article; zbMATH DE number 2143010 (Why is no real title available?)
- Higher dimensional automata revisited
- Extraction of concurrent processes from higher dimensional automata
- Topological abstraction of higher-dimensional automata
- On the specification of higher dimensional automata
- Deadlocks and dihomotopy in mutual exclusion models
- Homology of spaces of directed paths on Euclidean cubical complexes
- The trace space of the \(k\)-skeleton of the \(n\)-cube
- Simplicial models for trace spaces. II: General higher dimensional automata
- Sculptures in concurrency
- Combinatorics of branchings in higher dimensional automata
- Spaces of directed paths on pre-cubical sets
- Strictifying and taming directed paths in higher dimensional automata
- Connectivity of spaces of directed paths in geometric models for concurrent computation
- On execution spaces of PV-programs
This page was built for publication: Execution spaces for simple higher dimensional automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714637)
