No CrossRef data available.
Article contents
Trace spaces of directed tori with rectangular holes
Published online by Cambridge University Press: 17 June 2013
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.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2013