scientific article; zbMATH DE number 7526274

MaRDI QIDQ5075284zbMATH OpenFDO

Authors Edsger W. Dijkstra

Publication date 12 May 2022

Mathematics Subject Classification ID

History of computer science (68-03)

Recommendations

• A new solution of Dijkstra's concurrent programming problem
• The concurrent redundancy problem and control methods
• scientific article; zbMATH DE number 3293350
• scientific article; zbMATH DE number 3874587
• Concurrent program schemes and their logics
• scientific article; zbMATH DE number 5019549
• Proving concurrent constraint programming correct, revisited
• The computer science of concurrency: the early years
• SAT-Based Control of Concurrent Software for Deadlock Avoidance

Cited in

(1)

• Recoverable, abortable, and adaptive mutual exclusion with sublogarithmic RMR complexity

This page was built for publication:

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