Logical Semantics of Concurrent Constraint Programming

@inproceedings{Ruet1996LogicalSO,
  title={Logical Semantics of Concurrent Constraint Programming},
  author={Paul Ruet},
  booktitle={CP},
  year={1996}
}