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 Prioritised Choice over Multiway Synchronisation
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Douglas N. Warren
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Adam T. Sampson,  Jan Bækgaard Pedersen,  Jon Kerridge,  Jan F. Broenink,  Frederick R. M. Barnes
%B Communicating Process Architectures 2011
%X Previous algorithms for resolving choice over multiway
   synchronisations
have been incompatible with the notion of
   priority. This paper discusses
some of the problems
   resulting from this limitation and offers a subtle
expansion
   of the definition of priority to make choice meaningful
   when
multiway events are involved. Presented in this paper
   is a prototype
extension to the JCSP library that enables
   prioritised choice over
multiway synchronisations and which
   is compatible with existing JCSP
Guards. Also discussed are
   some of the practical applications for this
algorithm as
   well as its comparative performance.