Certified Implementability of Global Multiparty Protocols.

Elaine Li, Thomas Wies

Browse the full ITP paper archive.