Cited By
View all- Barbanera FHennicker R(2024)Safe Composition of Systems of Communicating Finite State MachinesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.414.3414(39-57)Online publication date: 11-Dec-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
- Giallorenzo SMontesi FPeressotti M(2024)Choral: Object-oriented Choreographic ProgrammingACM Transactions on Programming Languages and Systems10.1145/363239846:1(1-59)Online publication date: 16-Jan-2024
- Show More Cited By