1 paper
Laura Bocchi, Romain Demangeon
Recent work on the enhancement of multiparty session types with logical annotations enable the effective verification of properties on (1) the structure of the conversations, (2) t…