db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Overtures and hesitant offers: hiding in CSPP
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A Adrian E. Lawrence
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E  Jan F. Broenink,  Gerald H. Hilderink
%B Communicating Process Architectures 2003
%X Hiding is an important and characteristic part of CSP.
   Defining it in thepresence of priority for CSPP needs care.
   The ideas of overtures and hesitant offersintroduced here
   arise naturally in the context of Acceptances. They provide
   clearinsight into the behaviour of hidden processes. And
   particularly illuminate the originof the nondeterminism
   which frequently arises from hiding.Keywords: CSP; CSPP;
   Denotational semantics; formal methods; concurrency;
   parallelsystems; occam; hardware compilation; priority;
   hiding.