16 citations · 18 across the 3 of their papers we have counts for
1 paper · 1 filter
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…