Development of Concurrent Systems in B AMN

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

Publication date: July 1996

Publication date (Print): July 1996

Pages: 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

DOI: 10.14236/ewic/RW1996.8

SO-VID: 5cc72c2f-e5d2-4be6-a279-075d488b6b69

License:

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/

Conference name: Proceedings of the BCS-FACS 7th Refinement Workshop

Conference acronym: RW

Conference number: 7

Conference location: Bath

Conference date: 3-5 July 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: BCS-FACS 7th Refinement Workshop

History

Product

1477-9358 BCS 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/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

Development of Concurrent Systems in B AMN

Abstract