5th ACSD 2005: St. Malo, France

Introduction

Invited Talk

Specification of Communication Protocols

Formal Models and Property Analysis

Asynchronies

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