Leslie Lamport (lamport-l)

Beiträge zu Philosophie.ch

Bibliography

Lamport, Leslie. 1985. “Paradigms for Distributed Computing.” in Methods and Tools for Specification, an Advanced Course, edited by Matthias Paul and H. J. Siegert, pp. 19–30, 454–468. Berlin: Springer.
Lamport, Leslie. 1986a. LaTeX: A Document Preparation System. Reading, Massachusetts: Addison-Wesley.
Lamport, Leslie. 1986b. “On Interprocess Communication, Part I: Basic Formalism.” Distributed Computing 1(2): 77–85.
Lamport, Leslie and Fischer, Michael J. 1982. “Byzantine Generals and Transactions Commit Protocols.” opus: 62. Menlo Park, California: SRI International.
Lamport, Leslie and Lynch, N. 1990. “Distributed Computing: Models and Methods.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 1157–1200. Cambridge, Massachusetts: The MIT Press.
Pease, M., Shostak, Robert E. and Lamport, Leslie. 1980. “Reaching Agreement in the Presence of Faults.” Journal of the Association for Computing Machinery 27(2): 228–234.