Logic and Lattices for Distributed Programming: http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-167.pdf …
12:42 PM - 25 Jun 2012
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.