DocumentCode
233579
Title
Table of contents
fYear
2014
fDate
23-27 June 2014
Abstract
The following topics are dealt with: concurrency; system design; logic; model checking; automata; dataflow; programming; runtime support; unfolding; and interaction.
Keywords
automata theory; concurrency (computers); data flow computing; formal verification; logic; programming; automata; concurrency; dataflow; interaction; logic; model checking; programming; runtime support; system design; unfolding;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design (ACSD), 2014 14th International Conference on
Conference_Location
Tunis La Marsa
Type
conf
DOI
10.1109/ACSD.2014.8
Filename
7016318
Link To Document