MobilityReadingGroup

ocaml-mpst

a communication library powered by Multiparty Session Types in OCaml

ocaml-mpst is a communication library powered by Multiparty Session Types (abbreviated as MPST) in OCaml. Thus it ensures:

• Deadlock-freedom,
• Protocol fidelity (communication will take place according to a prescribed protocol) and
• Communication safety (you do not get any type-mismatch errors)

--- under the assumption that all communication channels are used linearly.

• Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen: Multiparty Session Programming with Global Protocol Combinators. ECOOP 2020 : 9:1 - 9:30.