Addendum to "Proof Rules for Flush Channels"


The logic presented in [1] 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