The Calculus of Handshake Configurations.

Luca Fossati, Daniele Varacca

Browse the full FOSSACS paper archive.