An Exercise in Protocol Synthesis.

Peter van Eijk, J. Schot

Browse the full FORTE paper archive.