1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2026★ 1 cited
Hybrid Multiparty Session Types -- Full Version
Lorenzo Gheri, Nobuko Yoshida
Multiparty session types (MPST) are a specification and verification framework for distributed message-passing systems. The communication protocol of the system is specified as a g…
cs.PL2026
Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Kirstin Peters, Lorenzo Gheri
This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The work…