### Abstract

Higher dimensional automata (HDA) provide valuable models of concurrent processes.Much current research related to HDA aims to further develop algebraic topological notionsrequired to analyse HDA in order to determine computer scientific properties includingdeadlock, safety, unreachable states, etc. It is well-known that classical algebraic topologywill not suffice since the sequences of actions represented by (1-dimensional) paths need tobe monotone with respect to a multi-dimensional coordinate system (the coordinate systemmight be thought of as time, or its coordinates can be thought of separately as progress withrespect to particular processes). The extent to which higher dimensional paths inherit anorientation as a result of either the coordinate system, or the definition of homotopy, variesaccording to the precise notions of directed algebraic topology that are utilised. This paperconsiders an extreme position in which all higher dimensional paths, like 1-dimensionalpaths, are oriented and can only be composed when orientations are compatible. This pointof view has arisen both from software engineering considerations and from considerationsof the history of classical combinatorial topology.

Original language | English |
---|---|

Title of host publication | Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory |

Editors | Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Alexander Kurtz, Martin Raussen, Vladimir Sassone |

Place of Publication | Denmark |

Publisher | BRICS: Basic Research in Computer Science |

Pages | 51-54 |

Number of pages | 4 |

Volume | NS-03-01 |

Publication status | Published - 2003 |

Event | Geometry and Topology in Concurrency Theory - Marseille, France Duration: 6 Sep 2003 → 6 Sep 2003 |

### Publication series

Name | BRICS Notes Series |
---|---|

Publisher | BRICS: Basic Research in Computer Science |

Number | 1 |

Volume | 03 |

ISSN (Electronic) | 0909-3206 |

### Conference

Conference | Geometry and Topology in Concurrency Theory |
---|---|

Abbreviated title | GETCO'03 |

Country | France |

City | Marseille |

Period | 6/09/03 → 6/09/03 |

## Fingerprint Dive into the research topics of 'Oriented combinatorial topology and concurrency'. Together they form a unique fingerprint.

## Cite this

Johnson, M., & Verity, D. (2003). Oriented combinatorial topology and concurrency. In P. Cousot, L. Fajstrup, E. Goubault, M. Herlihy, A. Kurtz, M. Raussen, & V. Sassone (Eds.),

*Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory*(Vol. NS-03-01, pp. 51-54). (BRICS Notes Series; Vol. 03, No. 1). Denmark: BRICS: Basic Research in Computer Science.