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)