A Logical View of Concurrent Constraint Programming
A PHP Error was encountered
Message: Undefined index: id
Line Number: 218
. Concurrent Constraint Programming (CCP) has been the subject ofgrowing interest as the focus of a new paradigm for concurrent computation. Likelogic programming it claims close relations to logic. In fact CCP languages arelogics in a certain sense that we make precise in this paper. In recent work itwas shown that the denotational semantics of determinate concurrent constraintprogramming languages forms a fibred categorical structure called a hyperdoctrine,which is used as the basis of ...