Proof rules for flush channels

T. Camp, P. Kearns, M. Ahuja
1993 IEEE Transactions on Software Engineering  
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.
doi:10.1109/32.223804 fatcat:wevzaymw5rcftgtt2w53natiq4