Distributed Variable Server for Atomic Unification. - Alon Kleinman; Yoram Moses; Ehud Shapiro (PODC, 1990)

Communication with Directed Logic Variables. - Alon Kleinman; Yael Moscowitz; Amir Pnueli; Ehud Shapiro (POPL, 1991)