A model category for the homotopy theory of concurrency

Abstract

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.

45 pages ; 4 figure ; First paper corresponding to the content of math.AT/0201252 ; final version

Cited by in corpus (9)

• A convenient category of locally preordered spaces
• Combinatorics of labelling in higher dimensional automata
• Flow does not model flows up to weak dihomotopy
• Context for models of concurrency
• Homotopy theory of Moore flows (I)
• T-homotopy and refinement of observation (I) : Introduction
• T-homotopy and refinement of observation (II) : Adding new T-homotopy equivalences
• Homotopy theory of Moore flows (II)
• Homotopy theory of Moore flows (III)