Book section : Chapter
Programming language implementations with multiparty session types
- Abstract:
- Session types provide a typing discipline for communication systems, and a number of programming languages are integrated with session types. This paper provides a survey of programming language implementations which use the structuring mechanism from multiparty session types (MPST). The theory of MPST guarantees that processes following a predefined communication protocol (a multiparty session) are free from communication errors and deadlocks. We discuss the top-down, bottom-up and hybrid MPST frameworks, and compare their positive and negative aspects, through a Rust MPST implementation framework, RUMPSTEAK. We also survey MPST implementations with dynamic (runtime) verification which target active object programming languages.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 367.0KB, Terms of use)
-
- Publisher copy:
- 10.1007/978-3-031-51060-1_6
Authors
Contributors
+ de Boer, F
- Role:
- Editor
+ Damiani, F
- Role:
- Editor
+ Hähnle, R
- Role:
- Editor
+ Johnsen, EB
- Role:
- Editor
+ Kamburjan, E
- Role:
- Editor
+ Engineering and Physical Sciences Research Council
More from this funder
- Funder identifier:
- https://ror.org/0439y7842
- Grant:
- EP/N028201/1 - 72043/2
- EP/X015955/1 - 316931
- EP/N027833/1
- EP/T014709/1
- EP/T006544/1
- RE21850
- 309899
- Publisher:
- Springer
- Host title:
- Active Object Languages: Current Research Trends
- Pages:
- 147–165
- Series:
- Lecture Notes in Computer Science
- Series number:
- 14360
- Publication date:
- 2024-01-29
- Acceptance date:
- 2023-12-15
- Edition:
- 1
- Event title:
- 5th International ABS Workshop
- Event location:
- Lyon, France
- Event website:
- https://edkamb.github.io/ABS_23/
- Event start date:
- 2023-10-04
- Event end date:
- 2023-10-06
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- EISBN:
- 978-3-031-51060-1
- ISBN:
- 978-3-031-51059-5
- Language:
-
English
- Subtype:
-
Chapter
- Pubs id:
-
1586390
- Local pid:
-
pubs:1586390
- Deposit date:
-
2023-12-22
- ARK identifier:
Terms of use
- Copyright holder:
- Nobuko Yoshida
- Copyright date:
- 2024
- Rights statement:
- © 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
- Notes:
- This is the accepted manuscript version of the chapter. The final version is available online from Springer at https://dx.doi.org/10.1007/978-3-031-51060-1_6
If you are the owner of this record, you can report an update to it here: Report update to this record