19 citations · 51 across the 10 of their papers we have counts for
1 paper · 1 filter
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…