## Archival Version

**These pages are not updated anymore.
They reflect the state of
.
For the current production of this journal, please refer to
http://intlpress.com/HHA/.
**

Homological properties of non-deterministic branchings
and mergings in higher dimensional automata
#
Homological properties of non-deterministic branchings
and mergings in higher dimensional automata

##
Philippe Gaucher

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.

Homology, Homotopy and Applications, Vol. 7(2005), No. 1, pp. 51-76
http://www.rmi.acnet.ge/hha/volumes/2005/n1a4/v7n1a4.dvi (ps, dvi.gz, ps.gz, pdf)
ftp://ftp.rmi.acnet.ge/pub/hha/volumes/2005/n1a4/v7n1a4.dvi (ps, dvi.gz, ps.gz, pdf)