article

Synchronous Multiparty Session Types

Authors:

Nobuko YoshidaAuthors Info & Claims

Electronic Notes in Theoretical Computer Science (ENTCS), Volume 241

Pages 3 - 33

https://doi.org/10.1016/j.entcs.2009.06.002

Published: 01 July 2009 Publication History

Abstract

Synchronous communication is useful to model multiparty sessions where control for timing events and strong sequentially order of messages are essential to the problem specification. This paper continues the work on multiparty session types initiated by Honda et al. [Honda, K., N. Yoshida and M. Carbone, Multiparty asynchronous session types, in: G. C. Necula and P. Wadler, editors, POPL (2008), pp. 273-284] for synchronous communications. It provides a more relaxed syntax of the calculus, multicasting, higher-order communication via multipolarity labels and a clear definition of delegation in global types. The linearity property defines when a channel can be used in two different communications without creating a race condition and the type system checks if all the processes of a session implement the communication behavior specified in the global type. The type system of the calculus is proved to be sound with respect to the operational semantics and coherent with respect to the global types.

References

[1]

Bonelli, E. and Compagnoni, A.B., Multipoint session types for a distributed calculus. In: Lecture Notes in Computer Science, vol. 4912. pp. 240-256.

Digital Library

[2]

http://docs.oasis-open.org/wsbpel/2.0/wsbpel-specification-draft.html

[3]

Bruni, R., Lanese, I., Melgratti, H.C. and Tuosto, E., Multiparty sessions in SOC. In: Lea, D., Zavattaro, G. (Eds.), Lecture Notes in Computer Science, vol. 5052. pp. 67-82.

Digital Library

[4]

Carbone, M., Honda, K. and Yoshida, N., Structured communication-centred programming for web services. In: Lecture Notes in Computer Science, vol. 4421. pp. 2-17.

Digital Library

[5]

Castagna, G., Gesbert, N. and Padovani, L., A theory of contracts for web services. In: Necula, G.C., Wadler, P. (Eds.), pp. 261-272.

Digital Library

[6]

Collingbourne, P. and Kelly, P., Inference of session types from control flow. ENTCS.

Digital Library

[7]

Corin, R., Deniélou, P.-M., Fournet, C., Bhargavan, K. and Leifer, J.J., Secure implementations for typed session abstractions. In: pp. 170-186.

Digital Library

[8]

Gay, S.J. and Hole, M., Subtyping for session types in the pi calculus. Acta Inf. v42. 191-225.

[9]

Honda, K., Vasconcelos, V.T. and Kubo, M., Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (Ed.), Lecture Notes in Computer Science, vol. 1381. pp. 122-138.

Digital Library

[10]

Honda, K., Yoshida, N. and Carbone, M., Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (Eds.), pp. 273-284.

Digital Library

[11]

http://www.doc.ic.ac.uk/~rh105/sessiondj.html

[12]

Hu, R., Yoshida, N. and Honda, K., Session-based distributed programming in JAVA. In: Vitek, J. (Ed.), Lecture Notes in Computer Science, vol. 5142. pp. 516-541.

Digital Library

[13]

http://www.doc.ic.ac.uk/~ab406/journal.pdf

[14]

http://www.wellquite.org/sessions/tutorial_1.html

[15]

http://pi4scribble.wiki.sourceforge.net/

[16]

Takeuchi, K., Honda, K. and Kubo, M., An interaction-based language and its typing system. In: Halatsis, C., Maritsas, D.G., Philokyprou, G., Theodoridis, S. (Eds.), Lecture Notes in Computer Science, vol. 817. pp. 398-413.

Digital Library

[17]

Vieira, H.T., Caires, L. and Seco, J.C., The conversation calculus: A model of service-oriented computation. In: Drossopoulou, S. (Ed.), Lecture Notes in Computer Science, vol. 4960. pp. 269-283.

Digital Library

[18]

http://www.w3.org/2002/ws/chor/edcopies/cdl/cdl.html

[19]

Yoshida, N. and Vasconcelos, V.T., Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Electr. Notes Theor. Comput. Sci. v171. 73-93.

Digital Library

Cited By

ter Beek MHennicker RProença J(2024)Team Automata: Overview and RoadmapCoordination Models and Languages10.1007/978-3-031-62697-5_10(161-198)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-62697-5_10
ter Beek MHennicker RProença J(2023)Realisability of Global Models of InteractionTheoretical Aspects of Computing – ICTAC 202310.1007/978-3-031-47963-2_15(236-255)Online publication date: 4-Dec-2023
https://dl.acm.org/doi/10.1007/978-3-031-47963-2_15
Peters KWagner CNestmann U(2019)Taming Concurrency for Verification Using Multiparty Session TypesTheoretical Aspects of Computing – ICTAC 201910.1007/978-3-030-32505-3_12(196-215)Online publication date: 31-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-32505-3_12
Show More Cited By

Recommendations

Multiparty Asynchronous Session Types

Communication is a central elements in software development. As a potential typed foundation for structured communication-centered programming, session types have been studied over the past decade for a wide range of process calculi and programming ...
Multiparty asynchronous session types
POPL '08

Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and ...
Multiparty asynchronous session types
POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and ...

Comments

Information & Contributors

Information

Published In

cover image Electronic Notes in Theoretical Computer Science (ENTCS)

Electronic Notes in Theoretical Computer Science (ENTCS) Volume 241, Issue

July, 2009

160 pages

ISSN:1571-0661

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2009.

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 July 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

ter Beek MHennicker RProença J(2024)Team Automata: Overview and RoadmapCoordination Models and Languages10.1007/978-3-031-62697-5_10(161-198)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-62697-5_10
ter Beek MHennicker RProença J(2023)Realisability of Global Models of InteractionTheoretical Aspects of Computing – ICTAC 202310.1007/978-3-031-47963-2_15(236-255)Online publication date: 4-Dec-2023
https://dl.acm.org/doi/10.1007/978-3-031-47963-2_15
Peters KWagner CNestmann U(2019)Taming Concurrency for Verification Using Multiparty Session TypesTheoretical Aspects of Computing – ICTAC 201910.1007/978-3-030-32505-3_12(196-215)Online publication date: 31-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-32505-3_12
Carbone MMontesi FSchürmann CYoshida N(2017)Multiparty session types as coherence proofsActa Informatica10.1007/s00236-016-0285-y54:3(243-269)Online publication date: 1-May-2017
https://dl.acm.org/doi/10.1007/s00236-016-0285-y
Honda KYoshida NCarbone M(2016)Multiparty Asynchronous Session TypesJournal of the ACM10.1145/282769563:1(1-67)Online publication date: 3-Mar-2016
https://dl.acm.org/doi/10.1145/2827695
Al-Humaimeedy AFernández MFalaschi MAlbert E(2015)Enhancing the specification and verification techniques of multiparty sessions in SOCProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming10.1145/2790449.2790515(19-30)Online publication date: 14-Jul-2015
https://dl.acm.org/doi/10.1145/2790449.2790515
Sivaramakrishnan KNagaraj KZiarek LEugster P(2010)Efficient session type guided distributed interactionProceedings of the 12th international conference on Coordination Models and Languages10.1007/978-3-642-13414-2_11(152-167)Online publication date: 7-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13414-2_11

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents