A model category for the homotopy theory of concurrency
From MaRDI portal
Publication:1770322
DOI10.4310/HHA.2003.v5.n1.a20zbMath1069.55008arXivmath/0308054MaRDI QIDQ1770322
Publication date: 5 April 2005
Published in: Homology, Homotopy and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0308054
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Abstract and axiomatic homotopy theory in algebraic topology (55U35)
Related Items
Topological abstraction of higher-dimensional automata, Six model categories for directed homotopy, Left properness of flows, A Hurewicz Model Structure for Directed Topology, Comparing cubical and globular directed paths, Flow does not model flows up to weak dihomotopy, Unnamed Item, Unnamed Item, \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences, Components of the fundamental category. II, Directed algebraic topology, categories and higher categories, Invariants of directed spaces, Combinatorics of labelling in higher-dimensional automata, Saturating directed spaces, On the expressiveness of higher dimensional automata, Context for Models of Concurrency, T-homotopy and Refinement of Observation (I): Introduction, Comparing Topological Models for Concurrency, A Fibration Category of Local Pospaces, Homotopy theory of Moore flows (II), A convenient category of locally preordered spaces
