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

      Development of Concurrent Systems in B AMN

      * ,

      Proceedings of the BCS-FACS 7th Refinement Workshop (RW)

      BCS-FACS 7th Refinement Workshop

      3-5 July 1996

      B AMN, Object calculus, concurrent specification, safety and liveness properties

      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 outlines an approach to extending B AMN to support concurrent specification, using a combination of linear temporal logic and Ada style task definitions. The extension is applied to the “production cell” case study.

          Related collections

          Author and article information

          Conference
          July 1996
          July 1996
          : 1-26
          Affiliations
          [* ]Dept. of Computing, Imperial College, 180 Queens Gate, London SW7 2BZ
          []B-Core (UK) Ltd., Oxford Science Park, Oxford OX4 4GA
          Article
          10.14236/ewic/RW1996.8
          © K. Lano et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS 7th Refinement Workshop, Bath

          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/

          Proceedings of the BCS-FACS 7th Refinement Workshop
          RW
          7
          Bath
          3-5 July 1996
          Electronic Workshops in Computing (eWiC)
          BCS-FACS 7th Refinement Workshop
          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