“…Recent work develops the connections of multiparty session types and communicating automata [6,22,37,38], denotational semantics [21], Petri Nets [24], applications to, e.g., secure information flow analysis [10,16], dynamic monitoring [5], and reversible computing [15]. Multiparty session types have also been integrated into mainstream programming languages such as MPI [41,47], Java [32,33,42,56], Python [20,43,46], C [49], Go [48], Erlang [25,45,57], Scala [54], and F# [44].…”