Read-write causality

  • Corrado Priami
  • Daniel Yankelevich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 841)


We introduce a new kind of causality between events of a distributed system that takes the nature of the events into account. More precisely, we distinguish between read (receive) and write (send) operations, yielding a relation called read-write causality. We clarify the intuition of our causality relation through examples, and we compare it with classical models of causality. Also, we show that it is better suited than the classical relations for debugging of formal specifications.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Boudol and I. Castellani. A non-interleaving semantics for CCS based on proved transitions. Foundamenta Informaticae, XI(4):433–452, 1988.Google Scholar
  2. 2.
    G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. In Proceedings of CONCUR'92, LNCS 630, pages 108–122, 1992.Google Scholar
  3. 3.
    Ph. Darondeau and P. Degano. Causal trees. In Proceedings of ICALP'89, LNCS 372, pages 234–248. Springer-Verlag, 1989.Google Scholar
  4. 4.
    P. Degano, R. De Nicola, and U. Montanari. A partial ordering semantics for CCS. Theoretical Computer Science, 75:223–262, 1990.Google Scholar
  5. 5.
    P. Degano, R. De Nicola, and U. Montanari. Universal axioms for bisimulation. Theoretical Computer Science, 114:63–91, 1993.Google Scholar
  6. 6.
    P. Degano and C. Priami. Proved trees. In Proceedings of ICALP'92, LNCS 623, pages 629–640. Springer-Verlag, 1992.Google Scholar
  7. 7.
    P. Degano and C. Priami. Relating models of concurrency. Submitted to Formal Aspects of Computing., 1993.Google Scholar
  8. 8.
    M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of ACM, 32:137–161, 1985.Google Scholar
  9. 9.
    C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.Google Scholar
  10. 10.
    P. Inverardi, C. Priami, and D. Yankelevich. Automatizing parametric reasoning on distributed concurrent systems. Formal Aspects of Computing, 1993. To appear.Google Scholar
  11. 11.
    A. Kiehn. Local and global causes. Technical report, TUM 342/23/91, 1991.Google Scholar
  12. 12.
    R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.Google Scholar
  13. 13.
    R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (I and II). Information and Computation, 100(1):1–77, 1992.Google Scholar
  14. 14.
    U. Montanari and D. Yankelevich. A parametric approach to localities. In Proceedings of ICALP'92, LNCS 623, pages 617–628. Springer-Verlag, 1992.Google Scholar
  15. 15.
    D. Park. Concurrency and automata on infinite sequences. In Proceedings of GI, LNCS 104, pages 167–183. Springer-Verlag, 1981.Google Scholar
  16. 16.
    G. Plotkin. An operational semantics for CSP. In Formal Description of Programming Concepts II, IFIP. North-Holland, 1983.Google Scholar
  17. 17.
    V. Pratt. Modelling concurrency with partial orders. International Journal of Parallel Programming, 15:33–71, 1986.Google Scholar
  18. 18.
    A. Rabinovich and B. Trakhtenbrot. Nets of processes. Fundamenta Informaticae, XI(4):357–404, 1988.Google Scholar
  19. 19.
    B. Thomsen. Calculi for Higher Order Communicating Systems. PhD thesis, Imperial College — University of London, 1990.Google Scholar
  20. 20.
    G. Winskel. Event structures for CCS and related languages. In Proceedings of ICALP'82, LNCS 140, pages 561–576. Springer-Verlag, 1982.Google Scholar
  21. 21.
    D. Yankelevich. Parametric Views of Process Description Languages. PhD thesis, Università di Pisa, TD 23/93, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Corrado Priami
    • 1
  • Daniel Yankelevich
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Department of Computer ScienceN.C. State UniversityRaleighUSA

Personalised recommendations