@InProceedings{Warren08,
  title =        "{PICOMS}: {P}rioritised {I}nferred {C}hoice {O}ver {M}ultiway {S}ynchronisation",
  author=        "Warren,  Douglas N.",
  editor=        "Welch, Peter H. and Stepney,  S. and Polack,  F.A.C and Barnes,  Frederick R. M. and McEwan,  Alistair A. and Stiles,  G. S. and Broenink,  Jan F. and Sampson,  Adam T.",
  pages =        "--",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn=          "978-1-58603-907-3",
  year=          "2008",
  month=         "sep",
  abstract=      "The ability to make a choice over multiway synchronisations
     (COMS) has
always been an integral part of CSP. However, it
     is something that
has been conspicuous by its absence from
     many concurrent languages,
limiting their expressive power.
     Implementation of a 2-phase commit
protocol to resolve such
     choice can result in large overheads, caused
by
     synchronisation offers having to be withdrawn. The recent
     Oracle
(single-phase) algorithm resolves COMS efficiently,
     for shared memory
concurrency at least. However, the Oracle
     only deals
     with
\textlessi\textgreaterarbitrary\textless/i\textgreater
     choice and does not obviously extend
     to
\textlessi\textgreaterprioritised\textless/i\textgreater
     choice (where we assume the priorities of the
participating
     processes are not in conflict). PICOMS is a
     proposed
efficient method for resolving COMS that honours
     non-conflicting
priorities, with only a modest increase in
     complexity over the Oracle
method."
}