Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
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
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…
cs.PL2024
Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report)
Sung-Shik Jongmans
Multiparty session typing (MPST) is a formal method to make concurrent programming simpler. The idea is to use type checking to automatically prove safety (protocol compliance) and…