The Synthesis of Communication Protocols.

Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou

Browse the full PODC paper archive.