• DocumentCode
    2417200
  • Title

    Extending the theory of Owicki and Gries with asynchronous message passing

  • Author

    Goldson, Doug

  • Author_Institution
    Sch. of ITEE, Queensland Univ., Qld., Australia
  • fYear
    2003
  • fDate
    10-12 Dec. 2003
  • Firstpage
    532
  • Lastpage
    541
  • Abstract
    We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.
  • Keywords
    concurrency theory; distributed programming; formal verification; message passing; asynchronous message passing; design heuristics; distributed program derivation; programming language; Computer languages; Logic programming; Message passing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Conference, 2003. Tenth Asia-Pacific
  • Print_ISBN
    0-7695-2011-1
  • Type

    conf

  • DOI
    10.1109/APSEC.2003.1254408
  • Filename
    1254408
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2417200