Issue No. 08 - August (1994 vol. 20)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.310675
<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>
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
S. Stoller, "Addendum to "Proof Rules for Flush Channels"," in IEEE Transactions on Software Engineering, vol. 20, no. , pp. 664, 1994.