DocumentCode
3106949
Title
Seventh International Conference on Application of Concurrency to System Design-Title
fYear
2007
fDate
10-13 July 2007
Abstract
The following topics are dealt with: system-level modeling and design; asynchronous circuits synthesis; model checking; process algebras; multiprocessor systems.
Keywords
asynchronous circuits; concurrency theory; multiprocessing systems; process algebra; systems analysis; asynchronous circuits synthesis; concurrency application; model checking; multiprocessor systems; process algebras; system design; system-level modeling;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location
Bratislava
ISSN
1550-4808
Print_ISBN
0-7695-2902-X
Type
conf
DOI
10.1109/ACSD.2007.30
Filename
4276252
Link To Document