Logic and Lattices for Distributed Programming
Logic and Lattices for Distributed Programming Neil Conway, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, and David Maier, in Symposium on Cloud Computing 2012 (SOCC ’12), October 14-17, 2012, San Jose, CA. This is definitely a different direction than we’ve had in prior papers, though I do have an ulterior motive in presenting this particular […]
Recent Comments