Typed Processes in Untyped Contexts

  • Michele Bugliesi
  • Marco Giunti
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3705)


The use of types to control the behavior of processes in the pi-calculus is a long known and well established technique.


Type Environment Forward Secrecy Channel Server Typing Assumption Subject Reduction 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abadi, M.: Protection in programming-language translations. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 868–883. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  2. 2.
    Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. of the 28th ACM Symposium on Principles of Programming Languages (POPL 2001), pp. 104–115. ACM Press, New York (2001)Google Scholar
  3. 3.
    Abadi, M., Fournet, C., Gonthier, G.: Secure implementation of channel abstractions. Information and Computation 174(1), 37–83 (2002)CrossRefzbMATHMathSciNetGoogle Scholar
  4. 4.
    Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theor. Comput. Sci. 195(2), 291–324 (1998)CrossRefzbMATHMathSciNetGoogle Scholar
  5. 5.
    Boudol, G.: Asynchrony and the π-calculus. Research Report 1702, INRIA (1992), Available from
  6. 6.
    Bugliesi, M., Giunti, M.: A pi-calculus with dynamic typing. Technical Report, University of Venice (June 2005)Google Scholar
  7. 7.
    Bugliesi, M., Giunti, M.: Secure implementation of type access control in the pi-calculus (July 2005) (submitted)Google Scholar
  8. 8.
    Hennessy, M., Rathke, J.: Typed behavioural equivalences for processes in the presence of subtyping. Mathematical Structures in Computer Science 14(5), 651–684 (2003)CrossRefMathSciNetGoogle Scholar
  9. 9.
    Pierce, B., Sangiorgi, D.: Typing and subtyping for mobile processes. Mathematical Structures in Computer Science 6(5) (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Michele Bugliesi
    • 1
  • Marco Giunti
    • 1
  1. 1.Dipartimento di InformaticaUniversità Ca’ Foscari di VeneziaItaly

Personalised recommendations