Simplicial models for trace spaces II : General higher dimensional automata

@inproceedings{Rauen2011SimplicialMF,
  title={Simplicial models for trace spaces II : General higher dimensional automata},
  author={Martin Rau\ssen},
  year={2011}
}
Higher Dimensional Automata (HDA) are topological models for the study 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… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
9 Citations
3 References
Similar Papers