Logic and lattices for distributed programming.

Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, David Maier

Browse the full CLOUD paper archive.