Open Access
2003 A model category for the homotopy theory of concurrency
Philippe Gaucher
Homology Homotopy Appl. 5(1): 549-599 (2003).


We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are S-homotopy equivalent. This result provides an interpretation of the notion of S-homotopy equivalence in the framework of model categories.


Download Citation

Philippe Gaucher. "A model category for the homotopy theory of concurrency." Homology Homotopy Appl. 5 (1) 549 - 599, 2003.


Published: 2003
First available in Project Euclid: 13 February 2006

zbMATH: 1069.55008
MathSciNet: MR2072345

Primary: 55U35
Secondary: 55P99 , 68Q85

Rights: Copyright © 2003 International Press of Boston

Vol.5 • No. 1 • 2003
Back to Top