19 citations · 53 across the 12 of their papers we have counts for
Showing 2025 · cs.PLShow all
2 papers · 2 filters
cs.PL2025★ 1 cited
A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
Multiparty session types (MPST) provide a rigorous foundation for verifying the safety and liveness of concurrent systems. However, existing approaches often force a difficult trad…
cs.PL2025★ 1 cited
Multiparty Session Typing, Embedded (Technical Report)
Sung-Shik Jongmans
Multiparty session typing (MPST) is a method to make concurrent programming simpler. The idea is to use type checking to automatically detect safety and liveness violations of impl…