Distributed data flow language for multi-party protocols.

Krzysztof Ostrowski, Ken Birman, Danny Dolev

Browse the full SOSP paper archive.