Synthesis of Asynchronous Systems

@inproceedings{Schewe2006SynthesisOA,
  title={Synthesis of Asynchronous Systems},
  author={Sven Schewe and Bernd Finkbeiner},
  booktitle={LOPSTR},
  year={2006}
}
This paper addresses the problem of synthesizing an asynchronous system from a temporal specification. We show that the cost of synthesizing a single-process implementation is the same for synchronous and asynchronous systems (2EXPTIME-complete for CTL* and EXPTIME-complete for the μ-calculus) if we assume a full scheduler (i.e., a scheduler that allows every possible scheduling), and exponentially more expensive for asynchronous systems without this assumption (3EXPTIME-complete for CTL* and… CONTINUE READING
Highly Cited
This paper has 55 citations. REVIEW CITATIONS

Topics

Statistics

0510'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

55 Citations

Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.