Concurrency. The works of Leslie Lamport

DOI10.1145/3335772MaRDI QIDQ5210909zbMATH OpenOpenAlexFDO

Authors

Publication date 16 January 2020

Full work available at URL https://doi.org/10.1145/3335772

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Distributed algorithms (68W15) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• Introduction
• Concurrent programming: algorithms, principles, and foundations.
• Theories of programming. The life and works of Tony Hoare
• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.
• Fault-tolerant distributed computing

Cited in

(2)

• A visit to mutual exclusion in seven dates
• Introduction

This page was built for publication: Concurrency. The works of Leslie Lamport

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5210909)