A model category for the homotopy theory of concurrency

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.

Keywords

concurrency, higher dimensional automaton, homotopy, closed monoidal structure, cofibration, compactly generated topological space, cofibrantly generated model category

2010 Mathematics Subject Classification

55Pxx, 68Q85

Full Text (PDF format)

Published 1 January 2003