264
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-article
      * ,
      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
      Bookmark

            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.

            Content

            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
            5cc72c2f-e5d2-4be6-a279-075d488b6b69
            © 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 (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/RW1996.8
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            B AMN,safety and liveness properties,concurrent specification,Object calculus

            Comments

            Comment on this article