Logic and Lattices for Distributed Programming (
SoCC'12
)
The source code for the two case studies included in this paper can be downloaded
here
. This code is also
hosted on GitHub
.
The paper itself can be found
here
.