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…
Roast topics
Find topics
Find it!
