Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) (2007)
Bratislava, Slovak Republic
July 10, 2007 to July 13, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.71
Philippe Darondeau , INRIA-Rennes, France
We survey research works on asynchronous systems synthesis, including PN synthesis and control synthesis.
P. Darondeau, "Synthesis and Control of Asynchronous and Distributed Systems," Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)(ACSD), Bratislava, Slovak Republic, 2007, pp. 13-22.