Multipoint Session Types for a Distributed Calculus

  • Eduardo Bonelli
  • Adriana Compagnoni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4912)


Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a number of fixed sites interact. The reduction schemes describing the operational semantics satisfy the locality principle: at most one site is involved. Both session engagement and data communication are local and asynchronous. Furthermore, our setting is a natural one in which the novel notion of multipoint session types, sessions in which more than two parties may be involved, can be introduced.


Reduction Scheme Operational Semantic Connection Request Typing Rule Communication Safety 
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. [BCG04]
    Bonelli, E., Compagnoni, A., Gunter, E.: Typechecking safe process synchronization. In: FGUC 2004, ENTCS. Elsevier, Amsterdam (2004)Google Scholar
  2. [BCG05]
    Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence assertions for process synchronization in concurrent communications. Journal of Functional Programming, Special issue on Language-Based Security, 15(2) (March 2005)Google Scholar
  3. [Bou03]
    Boudol, G.: Mobile calculi based on domains: Core programming model v1. Technical Report Deliverable 1.2.1, MIKADO Global Computing Project IST-2001-32222 (2003)Google Scholar
  4. [CDCY07]
    Coppo, M., Dezani-Ciancaglini, M., Yoshida, N.: Asynchronous session types and progress for object-oriented languages. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 1–31. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. [DCMYD06]
    Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328–352. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. [DCYAD05]
    Dezani-Ciancaglini, M., Yoshida, N., Ahern, A., Drossopoulou, S.: A distributed object-oriented language with session types. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 299–318. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. [FAH+06]
    Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J., Levi, S.: Language support for fast and reliable message-based communication in singularity os. In: Zwaenepoel, W. (ed.) EuroSys 2006. ACM SIGOPS, pp. 177–190. ACM Press, New York (2006)CrossRefGoogle Scholar
  8. [GCDC06]
    Garralda, P., Compagnoni, A., Dezani-Ciancaglini, M.: BASS: Boxed ambients with safe sessions. In: Maher, M. (ed.) PPDP 2006, pp. 61–72. ACM Press, New York (2006)CrossRefGoogle Scholar
  9. [GH99]
    Gay, S., Hole, M.: Types and subtypes for client-server interactions. In: Swierstra, S.D. (ed.) ESOP 1999 and ETAPS 1999. LNCS, vol. 1576, pp. 74–90. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  10. [GVR03]
    Gay, S., Vasconcelos, V., Ravara, A.: Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow (2003)Google Scholar
  11. [HG03]
    Hole, M., Gay, S.: Bounded polymorphism in session types. Technical Report TR-2003-132, Department of Computing Science, University of Glasgow (2003)Google Scholar
  12. [HKT94]
    Honda, K., Kubo, M., Takeuchi, K.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398–413. Springer, Heidelberg (1994)Google Scholar
  13. [Hon93]
    Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509–523. Springer, Heidelberg (1993)Google Scholar
  14. [HVK98]
    Honda, K., Vasconcelos, V., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  15. [HYC08]
    Kohei Honda, Nobuko Yoshida, and Marco Carbone. Multiparty asynchronous session types. In: POPL 2008 (to appear, 2008)Google Scholar
  16. [NT04]
    Neubauer, M., Thiemann, P.: Session types for asynchronous communication. Universität Freiburg (2004)Google Scholar
  17. [VRG04]
    Vasconcelos, V., Ravara, A., Gay, S.: Session types for functional multithreading. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 497–511. Springer, Heidelberg (2004)Google Scholar
  18. [VVR03]
    Antonio Vallecillo, Vasco Vasconcelos, and António Ravara. Typing the behavior of objects and component using session types. ENTCS, 68(3) (2003)Google Scholar
  19. [Yos07]
    Yoshida, N.: Personal communication (September 5, 2007)Google Scholar
  20. [YV06]
    Yoshida, N., Vasconcelos, V.: Language primitives and type disciplines for structured communication-based programming revisited. In: SecRet 2006, ENTCS. Elsevier, Amsterdam (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Eduardo Bonelli
    • 1
  • Adriana Compagnoni
    • 2
  1. 1.LIFIA, Fac. de InformáticaUNLP, Argentina and CONICET 
  2. 2.Stevens Institute of TechnologyHobokenUSA

Personalised recommendations