11. COORDINATION 2009: Lisboa, Portugal

Invited Talk

Languages and Systems

Semantic Models and Calculi

Joint Session

Composition and Components

Verification and Modeling

maintained by Schloss Dagstuhl LZI, founded at University of Trier