Cited By
View all- Castellani IGiannini P(2024)Towards a Semantic Characterisation of Global Type Well-formednessElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.401.2401(11-21)Online publication date: 6-Apr-2024
- Chen TDezani-Ciancaglini MYoshida N(2024)On the Preciseness of Subtyping in Session Types: 10 Years LaterProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming10.1145/3678232.3678258(1-3)Online publication date: 9-Sep-2024
- Castellani I(2024)A simple view of multiparty session typesProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming10.1145/3678232.3678252(1-3)Online publication date: 9-Sep-2024
- Show More Cited By