1. ZEUS 2009: Stuttgart, Germany

Invited Talk

Modeling and Specification

Choreographies

Verification

Execution

maintained by Schloss Dagstuhl LZI at University of Trier