Synthesizing Distributed Systems

  title={Synthesizing Distributed Systems},
  author={Orna Kupferman and Moshe Y. Vardi},
In system synthesis, we transform a spe i ation into a system that is guaranteed to satisfy the spe i ation. When the system is distributed, the goal is to onstru t the system's underlying pro esses. Results on multi-player games imply that the synthesis problem for linear spe i ations is unde idable for general ar hite tures, and is nonelementary de idable for hierar hi al ar hite tures, where the pro esses are linearly ordered and information among them ows in one dire tion. In this paper we… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 190 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 117 extracted citations

Tree Automata and Discrete Distributed Games

View 5 Excerpts
Highly Influenced

Uniform distributed synthesis

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) • 2005
View 6 Excerpts
Highly Influenced

Symmetric and E ffi cient Synthesis

View 4 Excerpts
Highly Influenced

Distributed synthesis for well-connected architectures

Formal Methods in System Design • 2009
View 4 Excerpts
Highly Influenced

Bounded synthesis

International Journal on Software Tools for Technology Transfer • 2007
View 5 Excerpts
Highly Influenced

190 Citations

Citations per Year
Semantic Scholar estimates that this publication has 190 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

Chur h ' s problem revisited

M. Y. Vardi.
The Bulletin of Symboli Logi • 1999

Klarlund . Mona & Fido : The logiautomaton onne tion in pra ti e


Modular Synthesis of Rea tive Systems

R. Rosner.

The ontrol of dis rete event systems

W. M. Wonham
IEEE Transa tions on Control Theory • 1992

Temporal and Modal Logic

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics • 1990

Similar Papers

Loading similar papers…