Execution spaces for simple higher dimensional automata
DOI10.1007/S00200-012-0165-9zbMATH Open1254.55007OpenAlexW2102126768MaRDI QIDQ714637FDOQ714637
Authors: Martin Raussen 
Publication date: 11 October 2012
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://vbn.aau.dk/da/publications/b607b9e8-855b-4202-9621-c5fa41daea11
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
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)
Cites Work
- Title not available (Why is that?)
- Depth-First Search and Linear Graph Algorithms
- Components of the fundamental category
- Components of the fundamental category. II
- Trace spaces: an efficient new technique for state-space reduction
- Directed algebraic topology. Models of non-reversible worlds
- CONCUR 2005 – Concurrency Theory
- Combinatorial algebraic topology
- Invariants of directed spaces
- Reparametrizations of continuous paths
- Invitation to topological robotics
- On the algebra of cubes
- Note: Combinatorial Alexander duality -- a short and elementary proof
- Homology computation by reduction of chain complexes
- Trace spaces in a pre-cubical complex
- Colimit theorems for relative homotopy groups
- Reparametrizations with given stop data
- Simplicial models of trace spaces
- Simplicial models for trace spaces. II: General higher dimensional automata
- Erratum to ``On the expressiveness of higher dimensional automata
- Erratum to `Dicovering spaces'
- Title not available (Why is that?)
- On the classification of dipaths in geometric models for concurrency
Cited In (14)
- Extraction of concurrent processes from higher dimensional automata
- Topological abstraction of higher-dimensional automata
- On the specification of higher dimensional automata
- Homology of spaces of directed paths on Euclidean cubical complexes
- Deadlocks and dihomotopy in mutual exclusion models
- 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
- On execution spaces of PV-programs
- Title not available (Why is that?)
- Higher dimensional automata revisited
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)
