The Community for Technology Leaders
Green Image
Issue No. 08 - August (1994 vol. 20)
ISSN: 0098-5589
pp: 664
ABSTRACT
<p>The logic presented in a previous paper, see ibid., vol. 19, no.4, p.366-78 (1993) 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.</p>
INDEX TERMS
distributed processing; program verification; message passing; formal logic; flush channels; multiple identical messages; channel; proof system; logic system; proof rules; communicating processes; asynchronous communication; distributed systems; program verification
CITATION
S. Stoller, "Addendum to "Proof Rules for Flush Channels"", IEEE Transactions on Software Engineering, vol. 20, no. , pp. 664, August 1994, doi:10.1109/32.310675
205 ms
(Ver 3.1 (10032016))