A Logical View of Concurrent Constraint Programming

N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely. A Logical View of Concurrent Constraint Programming. Nord. J. Comput., 2(2):181-220, 1995.

Abstract

Abstract is missing.