“Living on the edge, safely”, Collège de France , 12 May 2019. Closing symposium of Rachid Guerraoui's course on distributed algorithms |
“Just-Right Consistency and Antidote”,
dotScale,
1 June 2018 |
Just-Right Consistency explained |
The CISE approach for proving a distributed application correct |