Constraints as Processes

@inproceedings{Victor1996ConstraintsAP,
  title={Constraints as Processes},
  author={Bj{\"o}rn Victor and Joachim Parrow},
  booktitle={CONCUR},
  year={1996}
}
We present a compositional encoding of the-calculus into the-calculus. The former, used in the Oz semantics, is a recent small language with equational constraints over logical variables; the latter is a basic calculus of interacting processes. We establish a close correspondence between the reductions in the-calculus and its encoding, using weak barbed bisimulation congruence.