New article in the Journal of Mathematical Structures in Computer Science

In their new article in the Journal of Mathematical Structures in Computer Science, Ilaria Castellani (INDES), Sara Capecchi and Mariangiola Dezani-Ciancaglini (University of Turin) propose a monitored semantics for a multiparty session calculus and show that it enforces a secure information flow property.