article · Science of Computer Programming · 1982

An assertional correctness proof of a distributed algorithm

Cited by 65Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Lamport, L. (1982). An assertional correctness proof of a distributed algorithm. Science of Computer Programming, 2(3), 175–206. https://doi.org/10.1016/0167-6423(83)90014-x

MLA 9

Lamport, Leslie. “An assertional correctness proof of a distributed algorithm.” Science of Computer Programming, vol. 2, no. 3, 1982, pp. 175–206, https://doi.org/10.1016/0167-6423(83)90014-x.

Chicago

Lamport, Leslie. 1982. “An assertional correctness proof of a distributed algorithm.” Science of Computer Programming 2 (3): 175–206. https://doi.org/10.1016/0167-6423(83)90014-x.

Harvard

Lamport, L. (1982) ‘An assertional correctness proof of a distributed algorithm’, Science of Computer Programming, 2(3), pp. 175–206. Available at: https://doi.org/10.1016/0167-6423(83)90014-x.

BibTeX

@article{lamport1982assertional,
  title = {{An assertional correctness proof of a distributed algorithm}},
  author = {Lamport, Leslie},
  journal = {Science of Computer Programming},
  volume = {2},
  number = {3},
  pages = {175--206},
  year = {1982},
  doi = {10.1016/0167-6423(83)90014-x}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.