Modeling Message Queues in TLA+

Article URL: https://www.hillelwayne.com/post/tla-messages/

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

Points: 151

# Comments: 33

from Hacker News: Front Page https://ift.tt/2qnaLAc
via