Concurrency. The works of Leslie Lamport

DOI10.1145/3335772zbMATH Open1434.68029OpenAlexW2982614372MaRDI QIDQ5210909FDOQ5210909

Authors:

Publication date: 16 January 2020

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

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

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)

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)