Skip to main content
SpringerLink
Log in

Local checking of trace synchronizability

Extended Abstract

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1988 (MFCS 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 324))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aalbersberg, I.J., Rozenberg, G.: Theory of Traces, University of Leiden, Report 86–16 (1986), Vakgroep Informatica.

    Google Scholar 

  2. Cartier, P., Foata, D.: Problèmes combinatoires de commutation et réarrangements. Lect. Not. in Math., No. 85, Springer: 1969

    Google Scholar 

  3. Cori, R., Métivier, Y.: Recognizable subsets of some partially abelian monoids. Theor. Comp. Sci., Vol. 35, 241–254, (1985)

    Google Scholar 

  4. Cori, R., Perrin, D.: Automates et Commutations Partielles. R.A.I.R.O., Informatique theoriques 19, No. 1, (1985), p. 21–32

    Google Scholar 

  5. Clerbout, M., Latteux, M.: Partial Commutations and Faithful Rational Transductions, Theoret. Comp. Sci. 35 (1985), p. 241–254

    Google Scholar 

  6. Diekert, V., Vogler, W.: On the Synchronization of Traces and Petri Nets: submitted.

    Google Scholar 

  7. 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

    Google Scholar 

  8. MacLane, S.: Categories. For the working mathematician. Graduate Texts in Mathematics, Springer: 1970

    Google Scholar 

  9. Mazurkiewicz, A.: Concurrent Program Schemes and Their Interpretations. DAIMI Rep. PB 78, Aarhus University, Aarhus (1977)

    Google Scholar 

  10. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Arcisstr. 21, D-8000, München 2

    Volker Diekert & Walter Vogler

Authors
  1. Volker Diekert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Walter Vogler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michal P. Chytil Václav Koubek Ladislav Janiga

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation