Addendum to "Proof Rules for Flush Channels"
The logic presented in  for processes that communicate using flush
channels is inadequate for reasoning about processes that send multiple
identical messages along a channel. A modification to the logic and
proof system that remedies this deficiency is described herein.
Scott Stoller's Home Page