Overview
This page provides context for the ICE 2011 presentation by Simon Gay. It links to background notes related to protocols, interfaces, and verification.
This speaker is Simon Gay (not the site’s subject).
Related notes
- Session types and protocolsInteraction structure and communication discipline.
- Behavioural contractsReasoning about compatibility and substitutability.
- Model checking primerA practical view of verification workbenches.