1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2024★ 1 cited
Towards a Semantic Characterisation of Global Type Well-formedness
Ilaria Castellani, Paola Giannini
We address the question of characterising the well-formedness properties of multiparty session types semantically, i.e., as properties of the semantic model used to interpret types…
cs.LO2016
Secure Multiparty Sessions with Topics
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Multiparty session calculi have been recently equipped with security requirements, in order to guarantee properties such as access control and leak freedom. However, the proposed s…