An alternative implementation of communication primitives (Q1091123)

The authors study a set of communication primitives used for snychronizing action in communicating processes. Starting from a previously suggested implementation which was found to have deadlock situations, they derive a set of conditions to be satisfied by any implementation, propose a more elegant alternative implementation, and give a detailed proof of its correctness with respect to the set of conditions. The readability of this otherwise well-written paper could have been improved by the use of less cryptic notation.