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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3114172
بازگشت