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