Seif Haridi,
Peter Van Roy,
Per Brand,
Michael Mehl,
Ralf Scheidhauer and
Gert Smolka. Efficient Logic Variables for Distributed Computing. In ACM Transactions on Programming Languages and Systems, Vol. 21(3):569-626, 1999. [Abstract] google [Annote]
|