Logic and lattices for distributed programming. (2012)

by N Conway, R Marczak, P Alvaro, J M Hellerstein, D Maier
Venue:In SOCC,