Distributed algorithms solving agreement problems like consensus or stat...
Partial order reduction (POR) is a classic technique for dealing with th...
Geo-distributed systems often replicate data at multiple locations to ac...
We present a method for proving that a program running under the Total S...