DALT 2004: New York, NY, USA

Reasoning

Modelling and Engineering

Verification

Norms and Protocols

Interaction and Communication

a service of Schloss Dagstuhl - Leibniz Center for Informatics