DocumentCode :
1995220
Title :
Fifth International Conference on Application of Concurrency to System Design
fYear :
2005
fDate :
7-9 June 2005
Abstract :
The following topics are dealt with: specification of communication protocols; formal models and property analysis; asynchronies; theoretical approaches; analysis and synthesis of timed systems; models of simulation techniques; communication synthesis; languages and calculi; and approaches based on Petri nets.
Keywords :
Petri nets; formal languages; formal specification; protocols; systems analysis; Petri nets; asynchronies; calculi; communication protocols; communication synthesis; formal models; languages; property analysis; simulation techniques; timed system analysis; timed system synthesis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Application of Concurrency to System Design, 2005. ACSD 2005. Fifth International Conference on
Conference_Location :
Saint Malo, France
ISSN :
1550-4808
Print_ISBN :
0-7695-2363-3
Type :
conf
DOI :
10.1109/ACSD.2005.15
Filename :
1508115
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1995220
بازگشت