The Calculus of Handshake Configurations

Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. We propose a concurrent process calculus for handshake protocols . This calculus uses two mechanisms of synchronization: rendez-vous communication

• Type: Conference
• Year: 2009
• Where: FOSSACS
• Authors: Luca Fossati, Daniele Varacca
• Keywords: Calculus, FOSSACS 2009, Handshake Protocols, Petri Nets, Software Engineering