Development of Concurrent Systems in B AMN
Kevin Lano, Jeremy Dick · Electronic workshops in computing · 1996
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.