4th ACSD 2004: Hamilton, Ontario, Canada

Invited Talk

Architecture, Circuits, and Communication

Synchronous Systems and Components

Process Algebras and Petri Nets

Invited Talk

Programming Languages and Translations

Invited Talk

Verification I

Verification II

a service of Schloss Dagstuhl - Leibniz Center for Informatics