Abstract
Raussen (2010) gave the trace space, which corresponds to the executions of parallel non-looped, non-branching processes as a prod-simplicial complex derived from a poset. The connected components represent equivalent executions. For looped processes, the state space is a torus and the trace space is a disjoint union of trace spaces of deloopings. In the current paper, we develop the index poset for the trace space of the deloopings from the once delooped case. When just one process is looped, the index poset is generated as words in a regular language. We also construct a corresponding automaton.
Original language | English |
---|---|
Article number | e240202 |
Journal | Mathematical Structures in Computer Science |
Volume | 24 |
Issue number | 2 |
Number of pages | 23 |
ISSN | 0960-1295 |
DOIs | |
Publication status | Published - Apr 2014 |