11. COORDINATION 2009: Lisboa, Portugal

Invited Talk

Languages and Systems

Semantic Models and Calculi

Joint Session

Composition and Components

Verification and Modeling