Tag Archives: Concurrency

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 […]

Continue Reading →