Overview
This page provides context for the ICE 2011 presentation by Rocco De Nicola. It frames the slot around semantics, interfaces, and composition, and links to supporting notes.
Reading route: keep “interface + semantics + composition” as the core triangle.
Related notes
- Behavioural contractsA crisp way to talk about interface theories.
- Graph rewriting and SOSA concrete representation of operational change.
- Component systems and BIPCoordination and composition patterns.