π-calculus, Session Types research at the University of Oxford
ocaml-mpst is a communication library powered by Multiparty Session Types (abbreviated as MPST) in OCaml. Thus it ensures:
--- under the assumption that all communication channels are used linearly.