Outdated Archival Version

These pages are not updated anymore. They reflect the state of 22 June 2005. 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

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)