Collaboration support through mobile processes and entailment constraints | IEEE Conference Publication | IEEE Xplore