A Somewhat Logical Formulation of CLP Synchronisation Primitives

Vijay A. Saraswat. A Somewhat Logical Formulation of CLP Synchronisation Primitives. In ICLP/SLP. pages 1298-1314, 1988.

Abstract

Abstract is missing.