Towards a homotopy theory of process algebra
From MaRDI portal
Publication:2427617
DOI10.4310/HHA.2008.v10.n1.a16zbMath1151.68037arXivmath/0701552MaRDI QIDQ2427617
Publication date: 14 May 2008
Published in: Homology, Homotopy and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0701552
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99)
Related Items
Weak equivalence of higher-dimensional automata ⋮ Topological abstraction of higher-dimensional automata ⋮ Left properness of flows ⋮ Unnamed Item ⋮ Comparing cubical and globular directed paths ⋮ Unnamed Item ⋮ Weak morphisms of higher dimensional automata ⋮ Combinatorics of labelling in higher-dimensional automata ⋮ Homotopy theory of Moore flows (II)