Efficient logic variables for distributed computing

Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka. Efficient logic variables for distributed computing. ACM Transactions on Programming Languages and Systems, 21(3):569-626, 1999. [doi]

Abstract

Abstract is missing.