Homology, Homotopy and Applications
Volume 7 (2005)
Homological properties of non-deterministic branchings of mergings in higher dimensional automata
Pages: 51 – 76
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.
concurrency, homotopy, branching, merging, homology, left Quillen functor, long exact sequence, Mayer-Vietoris, cone, higher dimensional automata, directed homotopy
2010 Mathematics Subject Classification
55N35, 55P99, 68Q85