Communication with directed logic variables (1991)

by A Kleinman, Y Moscowitz, A Pnueli, E Shapiro
Venue:In 18th ACM POPL