Abstract
Trace theory has been developed to describe the behaviour of concurrent systems. For a modular approach synchronization of traces is of special interest. We characterize those trace monoids for which synchronization can be described locally.
Preview
Unable to display preview. Download preview PDF.
References
Aalbersberg, I.J., Rozenberg, G.: Theory of Traces, University of Leiden, Report 86–16 (1986), Vakgroep Informatica.
Cartier, P., Foata, D.: Problèmes combinatoires de commutation et réarrangements. Lect. Not. in Math., No. 85, Springer: 1969
Cori, R., Métivier, Y.: Recognizable subsets of some partially abelian monoids. Theor. Comp. Sci., Vol. 35, 241–254, (1985)
Cori, R., Perrin, D.: Automates et Commutations Partielles. R.A.I.R.O., Informatique theoriques 19, No. 1, (1985), p. 21–32
Clerbout, M., Latteux, M.: Partial Commutations and Faithful Rational Transductions, Theoret. Comp. Sci. 35 (1985), p. 241–254
Diekert, V., Vogler, W.: On the Synchronization of Traces and Petri Nets: submitted.
Fischer, W.: Über erkennbare und rationale Mengen in freien partiell kommutativen Monoiden, Diplomarbeit Universität Hamburg 1986, available as Report FBI-HH-B-121/86
MacLane, S.: Categories. For the working mathematician. Graduate Texts in Mathematics, Springer: 1970
Mazurkiewicz, A.: Concurrent Program Schemes and Their Interpretations. DAIMI Rep. PB 78, Aarhus University, Aarhus (1977)
Mazurkiewicz, A.: Trace Theory, in: Brauer, Reisig, Rozenberg (Eds.): Petri Nets, Applications and Relationship to Other Models of Concurrency, Bad Honnef 1986, LNCS 255, p.279–324 (1987)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Diekert, V., Vogler, W. (1988). Local checking of trace synchronizability. In: Chytil, M.P., Koubek, V., Janiga, L. (eds) Mathematical Foundations of Computer Science 1988. MFCS 1988. Lecture Notes in Computer Science, vol 324. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017150
Download citation
DOI: https://doi.org/10.1007/BFb0017150
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50110-7
Online ISBN: 978-3-540-45926-2
eBook Packages: Springer Book Archive