Overview
This page provides context for the ICE 2011 presentation by Sung-Shik Jongmans. It highlights structured interaction and coordination, with related reading in the notes section.
Reading route: start with protocol structure, then connect it to composition constraints.
Related notes
- Session types and protocolsA lightweight mental model for structured interaction.
- Component systems and BIPCoordination constraints made explicit.
- Behavioural contractsInterfaces stated as behaviour assumptions/guarantees.