• DocumentCode
    1143712
  • Title

    Addendum to “Proof rules for flush channels”

  • Author

    Stoller, Scott

  • Author_Institution
    Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
  • Volume
    20
  • Issue
    8
  • fYear
    1994
  • fDate
    8/1/1994 12:00:00 AM
  • Firstpage
    664
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.310675
  • Filename
    310675
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1143712