Synthesis of Distributed Mobile Programs Using Monadic Types in Coq.

Marino Miculan, Marco Paviotti

Browse the full ITP paper archive.