Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, David Maier. Logic and lattices for distributed programming. In Michael J. Carey, Steven Hand, editors, ACM Symposium on Cloud Computing, SOCC '12, San Jose, CA, USA, October 14-17, 2012. pages 1, ACM, 2012. [doi]
Abstract is missing.