The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1994 vol.20)
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. 8, pp. 664, August 1994, doi:10.1109/32.310675
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool