Skip to main content
SpringerLink
Log in

Comparing locality and causality based equivalences

  • Published:
Acta Informatica Aims and scope Submit manuscript

Abstract

For CCS [15] several noninterleaving semantics have been proposed among which causal bisimulation [9] and location equivalence [6] play a central role. To unify these two approaches this paper introduces a new transition system based onlocal andglobal causes. Bisimulation equivalence is parameterized by a functionf which evaluates the information on causes provided by the transitions. Appropriate instantiations off yield characterizations of causal bisimulations and location equivalence.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aceto, L.: A static view of localities. Report 1483, INRIA, 1991, Formal Aspects Comput. (in press)

  2. Boudol, G., Castellani, I.: Concurrency and atomicity. Theor. Comput. Sci.59, 25–84 (1988).

    Google Scholar 

  3. Boudol, G., Castellani, I.: A non-interleaving semantics for CCS based on proved transitions. Fund. Inf.249, 433–452 (1989).

    Google Scholar 

  4. Boudol, G., Castellani, I.: Three equivalent semantics for CCS. In: Guessarian, I. (ed.) Semantics of systems of concurrent processes. (Lect. Notes Comput. Sci., vol. 469, pp. 96–141) Berlin, Heidelberg. New York: Springer 1990

    Google Scholar 

  5. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A theory of processes with localities. Report 13/91, University of Sussex, 1991. Extended abstract in the proceedings of CONCUR 92

  6. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing localities. Theor. Comput. Sci.114, 31–61 (1993).

    Google Scholar 

  7. Castellani, I.: Bisimulations for Concurrency. Ph.d. thesis, University of Edinburgh, 1988

  8. Castellani, I. Hennessy, M.: Distributed bisimulations. J. ACM10(4), 887–911

  9. Darondeau, P., Degano, P.: Causal trees. In: Proceedings of ICALP 89 (Lect. Notes Comput. Sci., vol. 372, pp. 234–248) Berlin, Heidelberg, New York: Springer, 1989.

    Google Scholar 

  10. Darondeau, P., Degano, P.: Causal trees, interleaving + causality. In: Guessarian, I. (ed.) Semantics of systems of concurrent processes (Lect. Notes Comput. Sci., vol. 469, pp. 239–255) Berlin, Heidelberg, New York: Springer 1990

    Google Scholar 

  11. Degano, P., De Nicola, R., Montanari, U.: A partial ordering semantics for CCS. Theor. Comput. Sci.75, 223–255

  12. Degano, P., Priami, C.: Proved trees. In: Kuich, W. (ed.) Proceedings of ICALP 92 (Lect. Notes Comput. Sci., vol. 623, pp. 629–640) Berlin, Heidelberg, New York: Springer 1992

    Google Scholar 

  13. Fanchon, J.: Dynamic concurrent processes. In: Proceedings of PARLE 92 (Lect. Notes Comput. Sci., vol. 605) Berlin, Heidelberg, New York: Springer 1992

    Google Scholar 

  14. Krishnan, P.: Distributed CCS. In: Proceedings of CONCUR 91 (Lect. Notes Comput. Sci., vol. 527) Berlin, Heidelberg, New York: Springer 1991

    Google Scholar 

  15. Milner, R.: Communication and concurrency. Englewood Cliffs, NJ: Prentice-Hall 1989

    Google Scholar 

  16. Montanari, U., Yankelevich, D.: A parametric approach to localities. In: Kuich, W. (ed.) Proceeding of ICALP 92 (Lect. Notes Comput. Sci., vol. 623, pp. 617–628) Berlin, Heidelberg, New York: Springer 1992.

    Google Scholar 

  17. Murphy, D.: Observing located concurrency. In: Borzyszkowski, A., Sokolowski, S. (eds.) Mathematical foundations of computer science 1993 (Lect. Notes Comput. Sci., vol. 711, pp. 566–576) Berlin, Heidelberg, New York: Springer 1993

    Google Scholar 

  18. Reisig, W.: Petri nets (EATCS Monographs on Theoretical Computer Science) Berlin, Heidelberg, New York: Springer 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, TU München, Arcisstrasse 21, D-80290, München, Germany

    A. Kiehn

Authors
  1. A. Kiehn
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kiehn, A. Comparing locality and causality based equivalences. Acta Informatica 31, 697–718 (1994). https://doi.org/10.1007/BF01178730

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01178730

Keywords

Search

Navigation