A Convenient Category for The Homotopy Theory of Concurrency

Abstract

Withdrawn paper because the results are published in math.AT/0308054 and math.AT/0308063.

arXiv commentSee math.AT/0308054 and math.AT/0308063

References in corpus (4)

• Directed homotopy theory, I. The fundamental category
• Homotopy invariants of higher dimensional categories and concurrency in computer science
• Combinatorics of branchings in higher dimensional automata
• The branching nerve of HDA and the Kan condition

Cited by in corpus (6)

• Homological properties of non-deterministic branchings and mergings in higher dimensional automata
• The branching nerve of HDA and the Kan condition
• Concurrent Process up to Homotopy (I)
• Closed symmetric monoidal structure and flow
• The homotopy branching space of a flow
• Concurrent Process up to Homotopy (II)