dblp.uni-trier.de www.uni-trier.de

5. ACSD 2005: St. Malo, France

Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France. IEEE Computer Society 2005, ISBN 0-7695-2363-3 BibTeX


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

Copyright © Sat May 16 22:56:12 2009 by Michael Ley (ley@uni-trier.de)