Modal Proofs as Distributed Programs (Extended Abstract)

@inproceedings{Jia2004ModalPA,
  title={Modal Proofs as Distributed Programs (Extended Abstract)},
  author={Limin Jia and David Walker},
  booktitle={ESOP},
  year={2004}
}
We develop a new foundation for distributed programming languages by defining an intuitionistic, modal logic and then interpreting the modal proofs as distributed programs. More specifically, the proof terms for the various modalities have computational interpretations as remote procedure calls, commands to broadcast computations to all nodes in the network, commands to use portable code, and finally, commands to invoke computational agents that can find their own way to safe places in the… CONTINUE READING
Highly Cited
This paper has 47 citations. REVIEW CITATIONS

References

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

On the meanings of the logical constants and the justifications of the logical laws

  • M. Löf
  • Technical Report 2, University of Siena
  • 1985
Highly Influential
4 Excerpts

Modal logic as a basis for distributed computation

  • J. Moody
  • Technical Report CMU-CS-03-194, Carnegie Mellon…
  • 2003
1 Excerpt

Similar Papers

Loading similar papers…