Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
From MaRDI portal
Abstract: The paper addresses certain topological aspects of Dijkstra's PV-model for parallel computations in concurrency theory. The main result is a computation of the homology of the trace space associated with PV-programs in which access and release of every resource happen without time delay.
Recommendations
- Homology of spaces of directed paths on Euclidean cubical complexes
- Path complexes and their homologies
- Path homology of directed hypergraphs
- Spaces of paths and the path topology
- Directed path spaces via discrete vector fields
- Homomorphisms to oriented paths
- Homology of weighted path complexes and directed hypergraphs
- Homotopy path spaces for families of admissible paths
- Homology of path complexes and hypergraphs
- Paths in spaces of homeomorphisms on the plane
Cites work
- scientific article; zbMATH DE number 192849 (Why is no real title available?)
- scientific article; zbMATH DE number 1309427 (Why is no real title available?)
- Acyclic orientations of graphs
- Algebraic topology and concurrency
- Canonical homeomorphisms of posets
- Differential Topology
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Erratum to ``On the expressiveness of higher dimensional automata
- Homology of spaces of directed paths on Euclidean cubical complexes
- Homotopy types of subspace arrangements via diagrams of spaces
- On execution spaces of PV-programs
- Shellable Nonpure Complexes and Posets. I
- Simplicial models for trace spaces. II: General higher dimensional automata
- Simplicial models of trace spaces
- Singularities of differentiable maps, Volume 2. Monodromy and asymptotics of integrals. Transl. from the Russian by Hugh Porteous and revised by the authors and James Montaldi
- The homology of ``\(k\)-equal manifolds and related partition lattices
Cited in
(8)- Homology of spaces of directed paths on Euclidean cubical complexes
- Trace spaces of directed tori with rectangular holes
- Linear obstacles in linear systems, and ways to avoid them
- Sculptures in concurrency
- The geometry of timed PV programs
- Directed path spaces via discrete vector fields
- Connectivity of spaces of directed paths in geometric models for concurrent computation
- On execution spaces of PV-programs
This page was built for publication: Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4604391)
