4 citations · 9 across the 3 of their papers we have counts for
1 paper · 2 filters
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes asso…