Overview
This page provides context for the ICE 2011 presentation by Julien Lange. It emphasises protocol structure, composition, and how properties can be maintained under interaction.
Reading route: view interaction as a protocol, then ask what properties should be preserved under composition.
Related notes
- Session types and protocolsA compact model of structured communication.
- Component systems and BIPCoordination and composition discipline.
- Model checking primerHow to turn models into checks.