Lobsters
- TLA+ Monthly Development Update - December 2024 https://foundation.tlapl.us/blog/2024-12-dev-update/index.html 2 comments formalmethods
Linked pages
- A Science of Concurrent Programs https://lamport.azurewebsites.net/tla/science-book.html 5 comments
- Specifying serializability in TLA+ – Surfing Complexity https://surfingcomplexity.blog/2024/10/28/serializability-and-tla/ 1 comment
- GitHub - tlaplus/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. https://github.com/tlaplus/tlaplus 0 comments
- Hillel Wayne https://www.hillelwayne.com/ 0 comments
- Obtaining statistical properties through modeling and simulation — Jack Vanlightly https://jack-vanlightly.com/blog/2024/11/19/obtaining-statistical-properties-through-modeling-and-simulation 0 comments
- Multi-version concurrency control in TLA+ – Surfing Complexity https://surfingcomplexity.blog/2024/10/31/multi-version-concurrency-control-in-tla/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:foundation.tlapl.us
Search title: December 2024 Monthly Development Update :: TLA+ Foundation
See how to search.