Overtures and hesitant offers: hiding in CSPP

摘要

Hiding is an important and characteristic part of CSP. Defining it in the presence of priority for CSPP needs care. The ideas of overtures and hesitant offers introduced here arise naturally in the context of Acceptances. They provide clear insight into the behaviour of hidden processes. And particularly illuminate the origin of the nondeterminism which frequently arises from hiding.