Constructing Mid-Points for Two-Party Asynchronous Protocols


Communication protocols describe the steps that the communication end-points must take in order to achieve a common goal. In practice, networks often contain mid-points, which can relay, redirect, or filter messages exchanged by the end-points. A mid-point can enforce a communication protocol: it forwards the messages that conform to the protocol, and drops… (More)
DOI: 10.1007/978-3-642-25873-2_33


4 Figures and Tables