Concurrent Process up to Homotopy (I)

Abstract

Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the presence or not of deadlock. One constructs an embedding from globular CW-complexes to flows and one proves that two globular CW-complexes are dihomotopic if and only if the corresponding flows are dihomotopic. This note is the first one presenting some of the results of math.AT/0201252.

English abstract ; French text ; projet de note aux C.R.A.S

References in corpus (1)

• A Convenient Category for The Homotopy Theory of Concurrency

Cited by in corpus (6)

• Homological properties of non-deterministic branchings and mergings in higher dimensional automata
• Comparing globular complex and flow
• Abstract homotopical methods for theoretical computer science
• Closed symmetric monoidal structure and flow
• The homotopy branching space of a flow
• Concurrent Process up to Homotopy (II)