Paper Details

@InProceedings{Warren11,
  title = "{P}rioritised {C}hoice over {M}ultiway {S}ynchronisation",
  author= "Warren, Douglas N.",
  editor= "Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan Bækgaard and Kerridge, Jon and Broenink, Jan F. and Barnes, Frederick R. M.",
  pages = "87--110",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn= "978-1-60750-773-4",
  year= "2011",
  month= "jun",
  abstract= "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."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.