Overview
This page provides context for the ICE 2011 presentation by Vincenzo Ciancia. It emphasises the workshop’s recurring questions about behaviour, composition, and analysis.
Reading route: start with rule-based behaviour, then connect it to composition constraints.
Related notes
- Graph rewriting and SOSLocal rules as a precise account of behaviour.
- Behavioural contractsHow compatibility gets stated and checked.
- Component systems and BIPCoordination patterns and composition trade-offs.