DocumentCode
3114172
Title
Proceedings. Fourth International Conference on Application of Concurrency to System Design
fYear
2004
fDate
18-18 June 2004
Abstract
Presents the cover from the proceedings of this conference.
Keywords
Petri nets; concurrency theory; formal verification; process algebra; program interpreters; programming languages; real-time systems; Petri nets; circuits; communication; process algebras; programming languages; programming translations; synchronous systems; system architecture; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on
Conference_Location
Hamilton, Ontario, Canada
Print_ISBN
0-7695-2077-4
Type
conf
DOI
10.1109/CSD.2004.1309101
Filename
1309101
Link To Document