Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
Surfing Complexity
(Uncensored)
subscribe
Linearizability! Refinement! Prophecy! – Surfing Complexity
https://surfingcomplexity.blog/2024/09/22/linearizability-refinement-prophecy/
links
backlinks
Tagged with:
systems
tlaplus
Back in August, Murat Derimbas published a blog post about the paper by Herlihy and Wing that first introduced the concept of linearizability. When we move from sequential programs to concurrent on…