Overview
This page provides context for the ICE 2011 presentation by Luca Padovani. It highlights structured interaction and interface reasoning, with links into related notes.
Reading route: start from protocol structure, then map it to contracts at boundaries.
Related notes
- Session types and protocolsA compact vocabulary for interaction structure.
- Behavioural contractsHow to state what a component requires/provides.
- Model checking primerWhere automated analysis fits into the picture.