Ho-fung Leung;Keith L. Clark
-;-
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)