Less is more revisited: association with global multiparty session types
Multiparty session types (MPST) [12] provide a type discipline where a programmer or architect specifies a whole view of communications as a global protocol, and each distributed program is locally type-checked against its end-point projection. After 10 years from the birth of MPST, Scalas and Yoshi...
Main Authors: | Yoshida, N, Hou, P |
---|---|
Other Authors: | Cavalcanti, A |
Format: | Book section |
Language: | English |
Published: |
Springer
2024
|
Similar Items
-
Parameterised Multiparty Session Types
by: Pierre-Malo Denielou, et al.
Published: (2012-10-01) -
Programming language implementations with multiparty session types
by: Yoshida, N
Published: (2024) -
Multiparty Session Actors
by: Rumyana Neykova, et al.
Published: (2017-03-01) -
Multiparty Session Actors
by: Rumyana Neykova, et al.
Published: (2014-06-01) -
Multiparty Session Types, Beyond Duality (Abstract)
by: Alceste Scalas, et al.
Published: (2017-04-01)