Cited By
View all- Barbanera FLanese ITuosto E(2023)Composition of synchronous communicating systemsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2023.100890135(100890)Online publication date: Oct-2023
- Castellani IDezani-Ciancaglini MGiannini P(2023)Event structure semantics for multiparty sessionsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2022.100844131(100844)Online publication date: Feb-2023
- Stolze CMiculan MDi Gianantonio P(2022)Composable partial multiparty session types for open systemsSoftware and Systems Modeling10.1007/s10270-022-01040-x22:2(473-494)Online publication date: 28-Sep-2022
- Show More Cited By