{
  "id": "math/0305169",
  "version": "v4",
  "published": "2003-05-12T14:58:38.000Z",
  "updated": "2005-05-16T13:01:14.000Z",
  "title": "Homological properties of non-deterministic branchings and mergings in higher dimensional automata",
  "authors": [
    "Philippe Gaucher"
  ],
  "comment": "24 pages and 6 figures ; cf http://www.emis.de/journals/HHA/",
  "journal": "Homology Homotopy and Applications, vol. 7 (1):p.51-76, 2005",
  "categories": [
    "math.AT",
    "math.CT"
  ],
  "abstract": "The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy invariant and that higher dimensional branchings (resp. mergings) satisfy a long exact sequence.",
  "revisions": [
    {
      "version": "v4",
      "updated": "2005-05-16T13:01:14.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "55P99",
      "55N35",
      "68Q85"
    ],
    "keywords": [
      "higher dimensional automata",
      "non-deterministic branchings",
      "homological properties",
      "left quillen functor",
      "long exact sequence"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 24,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2003math......5169G"
    }
  }
}