1. ZEUS 2009: Stuttgart, Germany

Invited Talk

Modeling and Specification

Choreographies

Verification

Execution

a service of Schloss Dagstuhl - Leibniz Center for Informatics