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. Keywords— asynchronous communication, distributed systems, program verification The… (More)
DOI: 10.1109/32.310675

Topics

Cite this paper

@article{Stoller1994AddendumT, title={Addendum to "Proof Rules for Flush Channels"}, author={Scott D. Stoller}, journal={IEEE Trans. Software Eng.}, year={1994}, volume={20}, pages={664} }