4 ms·

there's a tla video course by lamport : https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7AOAwkreYImYt0gIpOdWQevD https://www.youtube.com/watch?v=p54W

by sabujp 7y ago

there's a tla video course by lamport : https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7AOAwkreYImYt0gIpOdWQevD https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...