1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2021★ 1 cited
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…
cs.PL2020
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)…