258
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Multiprogram Design in the theory of Owicki and Gries

      proceedings-article

      5th Irish Workshop on Formal Methods (IWFM)

      Irish Workshop on Formal Methods

      16-17 July 2001

      Bookmark

            Abstract

            This paper introduces the theory of Owicki and Gries as a method for the design (as opposed to the verification) of multiprograms (concurrent programs). The theory is applied to a problem of barrier synchronisation for two (and more) programs. The problem is well chosen because it is easy to state yet not easy to solve, and it therefore shows the difficulties of multiprogram design very well. The effectiveness of the theory to manage multiprogram design, and in the control of complexity, emerges quite well from the exercise.

            Content

            Author and article information

            Contributors
            Conference
            July 2001
            July 2001
            : 1-13
            Affiliations
            [0001]School of ITEE,

            University of Queensland, Australia.
            Article
            10.14236/ewic/IWFM2001.2
            e299c10c-c0e8-4b64-8011-dba9400c915c
            © Doug Goldson. Published by BCS Learning and Development Ltd. 5th Irish Workshop on Formal Methods, Dublin, Ireland

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            5th Irish Workshop on Formal Methods
            IWFM
            5
            Dublin, Ireland
            16-17 July 2001
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article