Explicit Synchronization

It is possible to explicitly synchronize on data:

      {Wait X}

blocks until X is determined. This could be expressed as follows:

      proc {Wait X}
         case X of a then skip else skip end
      end

because pattern matching will block until X is determined and it can be decided whether X=a is entailed or disentailed.