Globular realization and cubical underlying homotopy type of time flow of process algebra

zbMath1144.55021arXiv0708.3584MaRDI QIDQ2480546

Philippe Gaucher

Publication date: 31 March 2008

Published in: The New York Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

homotopy colimitconcurrencymodel categoryprecubical setReedy category

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)

Related Items (4)

Left properness of flows ⋮ Comparing cubical and globular directed paths ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Globular realization and cubical underlying homotopy type of time flow of process algebra