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

      A Concurrent Language for Refinement

      proceedings-article

      ,

      5th Irish Workshop on Formal Methods (IWFM)

      Irish Workshop on Formal Methods

      16-17 July 2001

      Bookmark

            Abstract

            We present a combination of the well-established formal specification languages Z and CSP; our objective is to provide support for the specification of both data and behaviour aspects of concurrent systems, and a development technique. The resulting language, Circus , distinguishes itself in that it is aimed at the calculational refinement of specifications to programs written in a language similar to occam and Handel-C . In this paper, we present Circus , the rationale for its design, and a case study in its use.

            Content

            Author and article information

            Contributors
            Conference
            July 2001
            July 2001
            : 1-16
            Affiliations
            [0001]Oxford University/OUCL

            Wolfson Building, Parks Road

            Oxford OX1 3QD, England
            [0002]Centro de Informática/UFPE

            P.O. Box 7851

            50740-540 Recife - PE Brazil
            Article
            10.14236/ewic/IWFM2001.7
            5c24b659-c914-405e-b198-e3a317bd8ad1
            © Jim Woodcock et al. 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