Algebraic topology and concurrency

DOI10.1016/j.tcs.2006.03.022zbMath1099.55003OpenAlexW2052547749MaRDI QIDQ2500494

Lisbeth Fajstrup, Eric Goubault, Martin Raussen

Publication date: 16 August 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.03.022

zbMATH Keywords

concurrency higher-dimensional automata cubical set deadlock directed homotopy local partial order

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Theory of computing (68Q99)

Related Items

History-preserving bisimilarity for higher-dimensional automata via open maps, Higher fundamental groupoids for spaces, Topological abstraction of higher-dimensional automata, Unnamed Item, Future Path-components in Directed Topology, Cubical local partial orders on cubically subdivided spaces -- existence and construction, Deadlocks and dihomotopy in mutual exclusion models, ST-structures, Configuration spaces and directed paths on the final precubical set, Geometric and combinatorial views on asynchronous computability, Languages of higher-dimensional automata, Geometric analysis of nondeterminacy in dynamical systems, A Hurewicz Model Structure for Directed Topology, Stratified spaces, directed algebraic topology, and state-sum TQFTs, Unnamed Item, Cut-off theorems for the \textit{PV}-model, Homology groups of cubical sets, Stable components of directed spaces, Directed homology theories and Eilenberg-Steenrod axioms, Homology of Spaces of Directed Paths in Euclidean Pattern Spaces, Towards Directed Collapsibility (Research), Simplicial models for trace spaces. II: General higher dimensional automata, Homomorphism complexes, reconfiguration, and homotopy for directed graphs, Homology for higher-rank graphs and twisted \(C^*\)-algebras, Weak morphisms of higher dimensional automata, Unique decomposition of homogeneous languages and application to isothetic regions, Directed path spaces via discrete vector fields, Components of the fundamental category. II, Invariants of directed spaces, Spaces of directed paths on pre-cubical sets, On the hierarchy of d-structures, Some collapsing operations for 2-dimensional precubical sets, Homology of spaces of directed paths on Euclidean cubical complexes, Saturating directed spaces, Trace spaces of directed tori with rectangular holes, Simplicial Models for Concurrency, Formal Relationships Between Geometrical and Classical Models for Concurrency, Streams, d-Spaces and Their Fundamental Categories, Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems, Simplicial models of trace spaces, On execution spaces of PV-programs, The geometry of conservative programs, Context for Models of Concurrency, A Framework for Component Categories, Comparing Topological Models for Concurrency, A Fibration Category of Local Pospaces, Criteria for Homotopic Maps to be So Along Monotone Homotopies, Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems, Spaces of directed paths on pre-cubical sets II, Pair component categories for directed spaces, Trace spaces in a pre-cubical complex, A convenient category of locally preordered spaces, Labeled homology of higher-dimensional automata, Combinatorial conditions for directed collapsing, On symmetric higher-dimensional automata and bisimilarity, Inessential directed maps and directed homotopy equivalences, Dipaths and dihomotopies in a cubical complex, Cubical approximation for directed topology. I, The trace space of the \(k\)-skeleton of the \(n\)-cube

Cites Work