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