New Results on Deriving Protocol Specifications from Service Specifications.

Ferhat Khendek, Gregor von Bochmann, Christian Kant

Browse the full SIGCOMM paper archive.