LL

Leslie Lamport

estadounidense

Leslie Lamport es un informático estadounidense conocido por sus contribuciones a la teoría de la computación y la programación distribuida, siendo el creador del lenguaje de documentación LaTeX. Su trabajo ha tenido un impacto significativo en la informática teórica y en la ingeniería del software.

Obras en el archivo

2 títulos

Este artículo seminal aborda la dificultad de definir el orden de los eventos en un sistema distribuido y presenta el concepto de 'relojes lógicos' para establecer un orden parcial de eventos. Es fundamental para entender la causalidad en entornos concurrentes.

Una colección de ensayos de uno de los pioneros de la informática, explorando cómo la teoría se aplica a la práctica en la computación, enfatizando la claridad, la prueba y el razonamiento lógico riguroso en la programación y el diseño de sistemas.

Autores relacionados

Aparecen junto a Leslie Lamport en búsquedas del archivo