Linking pages
Linked pages
- Learn TLA+ — Learn TLA+ https://learntla.com/ 176 comments
- Distributed Systems Safety Research http://jepsen.io/ 60 comments
- https://lamport.azurewebsites.net/tla/science.pdf 34 comments
- The TLA+ Home Page http://lamport.azurewebsites.net/tla/tla.html 32 comments
- Consistency Models https://jepsen.io/consistency 10 comments
- The Writings of Leslie Lamport https://lamport.azurewebsites.net/pubs/pubs.html 10 comments
- Linearizability: A Correctness Condition for Concurrent Objects http://muratbuffalo.blogspot.com/2024/08/linearizability-correctness-condition.html 3 comments
- Specification Refinement • Hillel Wayne https://www.hillelwayne.com/post/refinement/ 0 comments
- 2021 - TLA+ Conf :: TLA+ Community Event & Conference http://conf.tlapl.us/2021/ 0 comments
- Leslie Lamport's Home Page https://www.lamport.org/ 0 comments
Related searches:
Search whole site: site:surfingcomplexity.blog
Search title: Linearizability! Refinement! Prophecy! – Surfing Complexity
See how to search.