1. ZEUS 2009: Stuttgart, Germany

Invited Talk

Modeling and Specification

Choreographies

Verification

Execution