16 citations · 18 across the 3 of their papers we have counts for
3 papers
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…
Zooid: a DSL for Certified Multiparty Computation
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri +1
We design and implement Zooid, a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous m…
CAMP: Cost-Aware Multiparty Session Protocols
David Castro-Perez, Nobuko Yoshida
This paper presents CAMP, a new static performance analysis framework for message-passing concurrent and distributed systems, based on the theory of multiparty session types (MPST)…