Blog
About

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

      Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example

      6th International Workshop on Formal Methods (FM)

      Formal Methods

      11 July 2003

      program derivation, distributed programs, Owicki and Gries

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivation is carried out in the theory of Owicki and Gries. The paper therefore illustrates the use of this theory for the derivation, as opposed merely to the verification, of distributed multiprograms. Notable is that the derivation, while calculational in style, is carried out with a minimum of formal machinery, e.g., there is no temporal logic. The derivation also serves as a concrete illustration of program reuse. A theory that is based on a shared variable model of communication is shown to manage the design of distributed multiprograms quite well.

          Related collections

          Most cited references 1

          • Record: found
          • Abstract: not found
          • Article: not found

          Petri net based verification of distributed algorithms An example

            Bookmark

            Author and article information

            Contributors
            Conference
            July 2003
            July 2003
            : 1-11
            Affiliations
            School of ITEE,

            University of Queensland,

            Queensland 4072,

            Australia.
            Article
            10.14236/ewic/IWFM2003.7
            © Doug Goldson. Published by BCS Learning and Development Ltd. 6th International Workshop on Formal Methods, Dublin City University, 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/

            6th International Workshop on Formal Methods
            FM
            6
            Dublin City University, Ireland
            11 July 2003
            Electronic Workshops in Computing (eWiC)
            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