102 citations · 202 across the 10 of their papers we have counts for
1 paper · 2 filters
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped…