Concurrent process up to homotopy. II

DOI10.1016/S1631-073X(03)00119-5zbMath1048.68054arXivmath/0302284MaRDI QIDQ1417115

Philippe Gaucher

Publication date: 18 December 2003

Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0302284

zbMATH Keywords

globular CW-complexesweak dihomotopy

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Cites Work

• Unnamed Item
• Topological deformation of higher dimensional automata
• A convenient category of topological spaces

This page was built for publication: Concurrent process up to homotopy. II