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