Overview
This page provides context for the ICE 2011 presentation by Andrei Dorman. It links to background notes that support common workshop themes: modelling, interfaces, and verification.
Reading route: follow the workflow models → interfaces → checks.
Related notes
- Model checking primerA practical lens on what tools compute.
- Component systems and BIPA concrete coordination framework to keep in mind.
- Session types and protocolsAnother angle on structuring interaction.