Blog
About

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

      An Unbounded Nondeterministic Model for CSP-like Languages

      2nd Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      2-3 July 1998

      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

          The main contribution of this paper is the introduction of unbounded nondeterminism into CSP-like languages with specification, which increases the expressive power of the specification language. This is achieved by extending the finite message set of such mixed languages to an infinite one. A denotational semantics and a refinement order are defined for such a language and the CSP constructors are proved to be monotone on the specification space and continuous on the process space, which are needed for a simple treatment of iterations on both spaces of the mixed CSP-like language.

          Related collections

          Most cited references 5

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

          A theoretical basis for stepwise refinement and the programming calculus

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            An improved failures model for communicating processes

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Denotational semantics for occam

                Bookmark

                Author and article information

                Conference
                July 1998
                July 1998
                : 1-12
                Affiliations
                Department of Computing, University of Bradford

                Bradford, England
                Article
                10.14236/ewic/FM1998.8
                © Luming Lai. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, 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/

                2nd Irish Workshop on Formal Methods
                FM
                2
                Cork, Ireland
                2-3 July 1998
                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