Pages that link to "Item:Q2811928"

The following pages link to Luca Fossati (Q2811928):

Displaying 5 items.

• Multiparty Session Nets (Q2811929) (← links)
• Handshake Games (Q2864210) (← links)
• Intensional and Extensional Characterisation of Global Progress in the π-Calculus (Q2914376) (← links)
• The Calculus of Handshake Configurations (Q3617732) (← links)
• A Petri Net Model of Handshake Protocols (Q5166613) (← links)