5th ACSD 2005: St. Malo, France


Invited Talk

Specification of Communication Protocols

Formal Models and Property Analysis


Theoretical Approaches

Invited Talk

Analysis and Synthesis of Timed Systems

Models of Simulation Techniques

Communication Synthesis

Invited Talk

Languages and Calculi

Approaches Based on Petri Nets

a service of Schloss Dagstuhl - Leibniz Center for Informatics