Addendum to "Proof Rules for Flush Channels"

Abstract:

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