1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2025★ 1 cited
A Type System for Data Privacy Compliance in Active Object Languages
Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa +1
Data protection laws such as GDPR aim to give users unprecedented control over their personal data. Compliance with these regulations requires systematically considering informatio…
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…