Abstract : Beyond his seminal contributions to the theory and the design of concurrent and distributed algorithms, Leslie Lamport has throughout his career worked on methods and formalisms for rigorously establishing the correctness of algorithms.
https://hal.inria.fr/hal-02387780
Contributor : Stephan Merz <>
Submitted on : Monday, December 2, 2019 - 1:26:12 PM Last modification on : Tuesday, December 3, 2019 - 1:37:55 AM Long-term archiving on: : Tuesday, March 3, 2020 - 4:04:35 PM
Stephan Merz. Formal specification and verification. Dahlia Malkhi. Concurrency: the Works of Leslie Lamport, 29, Association for Computing Machinery, pp.103-129, 2019, ACM Books, ⟨10.1145/3335772.3335780⟩. ⟨hal-02387780⟩