Logic and lattices for distributed programming (2012)

by N Conway, W R Marczak, P Alvaro, J M Hellerstein, D Maier
Venue:In Proc. SoCC ’12