Title :
Addendum to “Proof rules for flush channels”
Author_Institution :
Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
fDate :
8/1/1994 12:00:00 AM
Abstract :
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
Keywords :
distributed processing; formal logic; message passing; program verification; asynchronous communication; channel; communicating processes; distributed systems; flush channels; logic system; multiple identical messages; program verification; proof rules; proof system; Computer science; Costs; Logic; Mathematical model; Reasoning about programs; Tagging;
Journal_Title :
Software Engineering, IEEE Transactions on
