Addendum to "Proof Rules for Flush Channels"

@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}
}
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 logic presented in [1] for systems of processes that communicate using flush channels is incomplete. The axiomatization given is adequate for… CONTINUE READING
0 Citations
1 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…