Skip to main content
SpringerLink
Log in

Graphical calculi for interaction

  • Invited Papers
  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1997)

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

Included in the following conference series:

  • 134 Accesses

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

References

  1. Milner, R., Parrow, J. and Walker, D., A calculus of mobile processes, Parts I and II. Information and Computation 100 (1992) 1–77.

    Article  Google Scholar 

  2. Milner, R., Calculi for interaction. Acta Informatica 33 (1996) 707–737.

    Article  Google Scholar 

  3. Milner, R., Mifsud, A. and Power, J., Control structures. Proc. IEEE Symposium on Logics in Computation, LICS (1995).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Cambridge, UK

    Robin Milner

Authors
  1. Robin Milner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierpaolo Degano Roberto Gorrieri Alberto Marchetti-Spaccamela

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Milner, R. (1997). Graphical calculi for interaction. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds) Automata, Languages and Programming. ICALP 1997. Lecture Notes in Computer Science, vol 1256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63165-8_159

Download citation

  • DOI: https://doi.org/10.1007/3-540-63165-8_159

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63165-1

  • Online ISBN: 978-3-540-69194-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation