Specifying Serializability in TLA+

Published: October 29, 2024

abstract-business-code-270348

Article URL: https://surfingcomplexity.blog/2024/10/28/serializability-and-tla/

Comments URL: https://news.ycombinator.com/item?id=41979950

Points: 1

# Comments: 0