Leslie Lamport (lamport-l)

Contributions à 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.