Outdated Archival Version

These pages are not updated anymore. They reflect the state of 22 June 2005. For the current production of this journal, please refer to http://intlpress.com/HHA/.

A model category for the homotopy theory of concurrency

Philippe Gaucher

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.

Homology, Homotopy and Applications, Vol. 5(2003), No. 1, pp. 549-599

http://www.rmi.acnet.ge/hha/volumes/2003/n1a20/v5n1a20.dvi (ps, dvi.gz, ps.gz, pdf)
ftp://ftp.rmi.acnet.ge/pub/hha/volumes/2003/n1a20/v5n1a20.dvi (ps, dvi.gz, ps.gz, pdf)