Communication with Directed Logic Variables.

Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro

Browse the full POPL paper archive.