4. 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