Skip to content
sahil.science
Questions
Papers
Topics
Syntheses
Almanac
About
C⁶
2026
← Questions
Source-derived question
What problem did Hoare's Communicating Sequential Processes formalism solve for reasoning about concurrent programs?
Distributed and Database Systems
Sources that address it
ACM A.M. Turing Award
almanac
Related questions
How closely did the network the slime mould grew over a map of Tokyo resemble the actual Tokyo rail system?
How did Bachman's navigable record structures influence the relational databases that came after IDS?
How did Ethernet's collision-detection and backoff protocol let the network manage itself?
How did Jim Gray's work on two-phase commit protocols shape the design of modern database systems?
How did Liskov's work on Byzantine fault tolerance shape how large distributed systems handle failure?
How did Michael Stonebraker's Ingres project prove that relational databases could run efficiently in practice?
How did SQL databases end up displacing navigational systems that once seemed clearly superior?
How does Codd's relational model differ from the navigational database systems it replaced?