Communication with directed logic variables

Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91 ◽

10.1145/99583.99615 ◽

1991 ◽

Cited By ~ 8

Author(s):

Alon Kleinman ◽

Yael Moscowitz ◽

Amir Pnueli ◽

Ehud Sharpio

Download Full-text