A somewhat logical formulation of CLP synchronization primitives (1988)

by Vijay A Saraswat
Venue:Logic Programming : Proceedings of the Fifth International Conference and Symposium