Constructing Mid-Points for Two-Party Asynchronous Protocols

Tsankov, Petar and Basin, David and Dashti, Mohammad Torabi
(2011) Constructing Mid-Points for Two-Party Asynchronous Protocols.
In: Proc. 15th International Conference On Principles Of Distributed Systems (OPODIS).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item