Towards a homotopy theory of process algebra

DOI10.4310/HHA.2008.v10.n1.a16zbMath1151.68037arXivmath/0701552MaRDI QIDQ2427617

Philippe Gaucher

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

Mathematics Subject Classification ID

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)