Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
Synthesis and Control of Asynchronous and Distributed Systems
Bratislava, Slovak Republic
July 10-July 13
ISBN: 0-7695-2902-X
We survey research works on asynchronous systems synthesis, including PN synthesis and control synthesis.