### Abstract

of concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category.

The paper generalizes the results from Raussen [19, 18] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.

Original language | English |
---|

Publisher | Department of Mathematical Sciences, Aalborg University |
---|---|

Number of pages | 17 |

Publication status | Published - Aug 2011 |

Series | Research Report Series |
---|---|

Number | R-2011-11 |

ISSN | 1399-2503 |

### Fingerprint

### Cite this

*Simplicial models for trace spaces II: General higher dimensional automata*. Department of Mathematical Sciences, Aalborg University. Research Report Series, No. R-2011-11

}

*Simplicial models for trace spaces II: General higher dimensional automata*. Research Report Series, no. R-2011-11, Department of Mathematical Sciences, Aalborg University.

**Simplicial models for trace spaces II: General higher dimensional automata.** / Raussen, Martin.

Research output: Book/Report › Report › Research

TY - RPRT

T1 - Simplicial models for trace spaces II: General higher dimensional automata

AU - Raussen, Martin

PY - 2011/8

Y1 - 2011/8

N2 - Higher Dimensional Automata (HDA) are topological models for the studyof concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category.The paper generalizes the results from Raussen [19, 18] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.

AB - Higher Dimensional Automata (HDA) are topological models for the studyof concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category.The paper generalizes the results from Raussen [19, 18] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.

M3 - Report

BT - Simplicial models for trace spaces II: General higher dimensional automata

PB - Department of Mathematical Sciences, Aalborg University

ER -