Knowledge-Based Synthesis of Distributed Systems Using Event Structures

@article{Bickford2004KnowledgeBasedSO,
  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},
  year={2004},
  volume={7}
}
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

References

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…