Logic and Lattices for Distributed Programming

doi 10.1145/2391229.2391230
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press