Constraints as Processes

  title={Constraints as Processes},
  author={Bj{\"o}rn Victor and Joachim Parrow},
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.