102 citations · 342 across the 33 of their papers we have counts for
1 paper · 1 filter
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the execution of process…