Skip to main content
SpringerLink
Log in

Mobility in the CC-paradigm

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

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

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. G. Boudol: A note on asynchronous π-calculus, preprint, 1992.

    Google Scholar 

  2. J. J. Lévy: Optimal Reductions in the λ-calculus, in “To H.B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism”, Academic Press, 1980.

    Google Scholar 

  3. R. Milner, J. Parrow, D. Walker: A Calculus of Mobile Processes, part I and II, Technical Report ECS-LFCS-89-85 and 86, Edinburgh University (1989).

    Google Scholar 

  4. R. Milner: Functions as Processes, Info and Co, 1991.

    Google Scholar 

  5. C.H.L. Ong: Fully Abstract Models of the Lazy Lambda Calculus, Proc. 29th Symposium on Foundation of Computer Science, pp. 368–376, 1988.

    Google Scholar 

  6. V.A. Saraswat, M. Rinard: Concurrent Constraint Programming, in Proc. 17'th ACM Annual Symp. on Princ. of Progr. Lang., 1990.

    Google Scholar 

  7. V.A. Saraswat, M. Rinard, P. Panangaden: Semantic Foundations of Concurrent Constraint Programming, in Proc. 18'th ACM Annual Symp. on Princ. of Progr. Lang., 1991.

    Google Scholar 

  8. B. Thomsen: A Calculus of Higher Order Communicating Systems, in Proc. 16th ACM Annual Symp. on Princ. of Progr. Lang. (1989), pp.143–154.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa Corso Italia 40, 1-56125, Pisa, Italy

    Cosimo Laneve & Ugo Montanari

Authors
  1. Cosimo Laneve
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ugo Montanari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ivan M. Havel Václav Koubek

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Laneve, C., Montanari, U. (1992). Mobility in the CC-paradigm. In: Havel, I.M., Koubek, V. (eds) Mathematical Foundations of Computer Science 1992. MFCS 1992. Lecture Notes in Computer Science, vol 629. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55808-X_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-55808-X_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55808-8

  • Online ISBN: 978-3-540-47291-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation