Knowledge-Based Synthesis of Distributed Systems Using Event Structures

  title={Knowledge-Based Synthesis of Distributed Systems Using Event Structures},
  author={Mark Bickford and Robert L. Constable and Joseph Y. Halpern and Sabina Petride},
  journal={Logical Methods in Computer Science},
To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a high-level language that makes it easy for designers to specify their goals. We consider a high-level specification language that results from adding knowledge to a fragment of Nuprl specifically tailored for specifying distributed protocols… CONTINUE READING

From This Paper

Topics from this paper.
10 Citations
52 References
Similar Papers


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

Experiments with theory modification in the FDL

  • M. Bickford, R. L. Constable
  • Progress .
  • 2003

A characterization of eventual Byzantine agreement

  • J. Y. Halpern, Y. Moses
  • SIAM Journal on Computing
  • 2001

Similar Papers

Loading similar papers…