Hostname: page-component-74656f9884-54qdv Total loading time: 0 Render date: 2026-11-10T09:17:52.569Z Has data issue: false hasContentIssue false
  • English
  • Français

Trace spaces of directed tori with rectangular holes

Published online by Cambridge University Press:  17 June 2013

LISBETH FAJSTRUP
LISBETH FAJSTRUP*
Affiliation:
Department of Mathematical Sciences, Aalborg University, Fredrik Bajers Vej 7G2-117, DK-9220 Aalborg ∅, Denmark Email: fajstrup@math.aau.dk
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 24 , Issue 2 , April 2014 , e240202
Copyright
Copyright © Cambridge University Press 2013 

References

Dijkstra, E. W.Cooperating Sequential Processes, Academic Press.CrossRefGoogle Scholar
Fajstrup, L. (2003) Dicovering spaces. Homology Homotopy and Applications 5 (2)1–17.CrossRefGoogle Scholar
Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S. and Raussen, M. (2012) Trace spaces: An efficient new technique for state-space reduction. In: Seidl, H. (ed.) Programming Languages and Systems. 21st European Symposium on Programming, ESOP 2012. Springer-Verlag Lecture Notes in Computer Science 7211274–294.Google Scholar
Fajstrup, L., Goubault, E. and Raussen, M. (2006) Algebraic topology and concurrency. Theoretical Computer Science 357 241–278.CrossRefGoogle Scholar
Hopcroft, J. E. and Ullman, J. D. (1979) Introduction to Automata Theory, Languages and Computation, Addison-Wesley.Google Scholar
Raussen, M. (2007) Invariants of directed spaces. Applied Categorical Structures 15 355–386.CrossRefGoogle Scholar
Raussen, M. (2010) Simplicial models of trace spaces. Algebraic and Geometric Topology 10 1683–1714.CrossRefGoogle Scholar