Explore >> Select a destination
|
You are here 
|
ahelwer.ca | ||
| | | | |
jack-vanlightly.com
|
|
| | | | | The aim of this post is to give the reader an understanding of why formal methods exist and an introduction to TLA+ including the conceptual model of how it represents data and time. From here, you should be able to go out and read more advanced content on TLA+ with some foundational idea of what it is all about. | |
| | | | |
www.bailis.org
|
|
| | | | | ||
| | | | |
www.openlife.cc
|
|
| | | | | This is just a "note to self" or cheatsheet... I'm working on the new distributed consensus algorithm about to appear in Cassandra 5.0. I see that I frequently lose momentum when I have to resort to the formal definition of the algorithm. Because I was never good at reading mathematical notation with a lot of greek letters... So, let's translate the greek letters to English words: | |
| | | | |
mattweidner.com
|
|
| | | |||
