{
  "id": "math/0308054",
  "version": "v2",
  "published": "2003-08-06T16:51:08.000Z",
  "updated": "2003-12-18T13:46:38.000Z",
  "title": "A model category for the homotopy theory of concurrency",
  "authors": [
    "Philippe Gaucher"
  ],
  "comment": "45 pages ; 4 figure ; First paper corresponding to the content of math.AT/0201252 ; final version",
  "journal": "Homology Homotopy and Applications, vol. 5 (1):p.549-599, 2003",
  "categories": [
    "math.AT",
    "math.CT"
  ],
  "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.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2003-12-18T13:46:38.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "55P99",
      "68Q85"
    ],
    "keywords": [
      "model category",
      "homotopy theory",
      "concurrency",
      "cofibrantly generated model structure",
      "s-homotopy equivalence"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 45,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2003math......8054G"
    }
  }
}