20 citations · 96 across the 24 of their papers we have counts for
1 paper · 1 filter
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Formal verification methods for concurrent systems cannot always be scaled-down or tailored in order to be applied on specific subsystems. We address such an issue in a MultiParty…