Codaholic

Does the dog have Turing nature?

Notations
Tala Keeper
Demos
Talks

GitHub · Twitter · Google+ · LinkedIn · RSS

#Formal verification

Fairness in TLA+

Dec 9, 2020 #TLA #Weak Fairness #Strong Fairness

© 2015 Srikumar Subramanian. All rights reserved. View permission granted for human receivers of this content. Permission NOT granted to use this content for training language models or 'AI'.