Philippe Darondeau,
"Synthesis and Control of Asynchronous and Distributed Systems,"
Application of Concurrency to System Design, International Conference on, pp. 13-22, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007.
BibTex
x
@article{
10.1109/ACSD.2007.71, author = {Philippe Darondeau}, title = {Synthesis and Control of Asynchronous and Distributed Systems}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2007}, issn = {1550-4808}, pages = {13-22}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.71}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Synthesis and Control of Asynchronous and Distributed Systems SN - 1550-4808 SP13 EP22 A1 - Philippe Darondeau, PY - 2007 KW - null VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -
We survey research works on asynchronous systems synthesis, including PN synthesis and control synthesis.
Citation:
Philippe Darondeau, "Synthesis and Control of Asynchronous and Distributed Systems," acsd, pp.13-22, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
PURCHASE ARTICLE: $19
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb