15 citations · 40 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 15 cited
Deconfined Global Types for Asynchronous Sessions
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such ca…
cs.PL2021
A meta-theory for big-step semantics
Francesco Dagnino
It is well-known that big-step semantics is not able to distinguish stuck and non-terminating computations. This is a strong limitation as it makes very difficult to reason about p…