Extending B AMN with concurrency

K Lano, J Fiadeiro, J Dick

Research output: Chapter in Book/Report/Conference proceedingConference contribution


This paper outlines an approach to concurrent specification in B Abstract Machine Notation (AMN), using a combination of linear temporal logic and Ada style task definitions.
Original languageEnglish
Title of host publicationAdvances in the theory and formal methods of computing
EditorsA. Edalat, S. Jourdan, G. McCusker
Place of PublicationLondon
PublisherImperial College Press
Number of pages12
ISBN (Print)1-86094-031-5
Publication statusPublished - 1996
EventProceedings of the Third Imperial College Workshop
- Christ Church, Oxford, United Kingdom
Duration: 1 Apr 19963 Apr 1996


ConferenceProceedings of the Third Imperial College Workshop
CountryUnited Kingdom

Fingerprint Dive into the research topics of 'Extending B AMN with concurrency'. Together they form a unique fingerprint.

Cite this