Advertisement

On congruences and partial orders

  • Serge Bauget
  • Paul Gastin
Contributed Papers Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 969)

Abstract

Mazurkiewicz trace theory is not powerful enough to describe concurrency paradigms as, for instance, the “Producer / Consumer”. We propose in this paper a generalization of Mazurkiewicz trace monoids which allows to model such problems. We consider quotients of the free monoids by congruences which preserve the commutative images of words. An equivalence class in the quotient monoid consists of all the sequential observations of a distributed computation. In order to characterize congruences which do model concurrency, we study the relationship of this approach and the classical representation of distributed computations with partial orders. We show that the only congruences for which the classes can be represented by partial orders and the concatenation transfers modularly to partial orders are congruences generated by commutations, that is trace congruences. We prove necessary conditions and sufficient conditions on congruences so that their classes can be represented by partial orders. In particular, an important sufficient condition covers both trace congruences and the “Producer / Consumer” congruence.

Keywords

Equivalence Class Partial Order Linear Extension Sequential Observation Independence Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AR88]
    I.J. Aalbersberg and G. Rozenberg. Theory of traces. Theoretical Computer Science, 60:1–82, 1988.CrossRefGoogle Scholar
  2. [BR94]
    I. Biermann and B. Rozoy. Context traces and transition systems. In S. Kuril, M.U. Caglayan, E. Gelembe, H.L. Akin, and C. Ersoy, editors, Proceedings of the 9th International Symposium on Computer and Information Science ISCIS IX, pages 301–309. Bogazici University Printhouse, Turkey, 1994.Google Scholar
  3. [CL87]
    M. Clerbout and M. Latteux. Semi-Commutations. Information and Computation, 73:59–74, 1987.CrossRefGoogle Scholar
  4. [CLR95]
    M. Clerbout, M. Latteux, and Y. Roos. Semi-commutations. In G. Rozenberg and V. Diekert, editors, The Book of Traces, pages 487–552. World Scientific, Singapore, 1995.Google Scholar
  5. [Die90]
    V. Diekert. Combinatorics on Traces. Number 454 in Lecture Notes in Computer Science. Springer Verlag, 1990.Google Scholar
  6. [DR95]
    V. Diekert and G. Rozenberg, editors. Book of Traces. World Scientific, Singapore, 1995. to appear.Google Scholar
  7. [HKT92]
    P.W. Hoogers, H.C.M. Kleijn, and P.S. Thiagarajan. A trace semantics for petri nets. In W. Kuich, editor, Proceedings of the 19th International Colloquium on Automata Languages and Programming (ICALP'92), number 623 in Lecture Notes in Computer Science, pages 595–604. Springer Verlag, 1992.Google Scholar
  8. [Lac92]
    J. Lacaze. Parties reconnaissables de monoÏdes définis par générateurs et relations. R.A.I.R.O. — Informatique Théorique et Applications, 26:541–552, 1992.Google Scholar
  9. [Maz77]
    A. Mazurkiewicz. Concurrent program schemes and their interpretations. Tech. rep. DAIMI PB 78, Aarhus University, 1977.Google Scholar
  10. [Maz87]
    A. Mazurkiewicz. Trace theory. In W. Brauer et al., editors, Advances in Petri Nets'86, number 255 in Lecture Notes in Computer Science, pages 279–324. Springer Verlag, 1987.Google Scholar
  11. [NW95]
    M. Nielsen and G. Winskel. Trace structures and other models for concurrency. In G. Rozenberg and V. Diekert, editors, The Book of Traces, pages 271–306. World Scientific, Singapore, 1995.Google Scholar
  12. [Per89]
    D. Perrin. Partial commutations. In G. Ausiello et al., editors, Proceedings of the 16th International Colloquium on Automata, Languages and Programming (ICALP'89), number 372 in Lecture Notes in Computer Science, pages 637–651. Springer Verlag, 1989.Google Scholar
  13. [Win88]
    G. Winskel. An introduction to event structures. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, number 354 in Lecture Notes in Computer Science, pages 123–172. Springer Verlag, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Serge Bauget
    • 1
  • Paul Gastin
    • 1
  1. 1.Institut Blaise PascalLITPParis Cedex 05

Personalised recommendations