Constructing Mid-Points for Two-Party Asynchronous Protocols.

Petar Tsankov, Mohammad Torabi Dashti, David A. Basin

Browse the full OPODIS paper archive.