论文信息 - HOMOLOGICAL PROPERTIES OF NON-DETERMINISTIC BRANCHINGS AND MERGINGS IN HIGHER DIMENSIONAL AUTOMATA

HOMOLOGICAL PROPERTIES OF NON-DETERMINISTIC BRANCHINGS AND MERGINGS IN HIGHER DIMENSIONAL AUTOMATA

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.

P. Gaucher

[1] L. Lewis. The stable category and generalized Thom spectra , 1978 .

[2] F. Beaufils,et al. FRANCE , 1979, The Lancet.

[3] Ronald Brown,et al. Topology, A Geometric Account Of General Topology, Homotopy Types And The Fundamental Groupoid , 1988 .

[4] Vaughan R. Pratt,et al. Modeling concurrency with geometry , 1991, POPL '91.

[5] W. Dwyer,et al. CHAPTER 2 – Homotopy Theories and Model Categories , 1995 .

[6] May,et al. A Concise Course in Algebraic Topology , 1999 .

[7] Philippe Gaucher,et al. A Convenient Category for The Homotopy Theory of Concurrency , 2002, math/0201252.

[8] Eric Goubault,et al. SOME GEOMETRIC PERSPECTIVES IN CONCURRENCY THEORY , 2003 .

[9] P. Gaucher. Homotopy branching space and weak dihomotopy , 2003, math/0304112.

[10] P. Gaucher. Concurrent Process up to Homotopy (I) , 2003, math/0302283.

[11] Marco Grandis,et al. Directed homotopy theory, I , 2003 .

[12] Philip S. Hirschhorn. Model categories and their localizations , 2003 .

[13] Philippe Gaucher. Comparing globular complex and flow , 2003 .

[14] P. Gaucher. Comparing Globular Cw-complex and Flow , 2003 .

[15] P. Gaucher. A MODEL CATEGORY FOR THE HOMOTOPY THEORY OF CONCURRENCY , 2003, math/0308054.