Extending B AMN with concurrency

K Lano, J Fiadeiro, J Dick

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

Abstract

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
Pages228-239
Number of pages12
ISBN (Print)1-86094-031-5
DOIs
Publication statusPublished - 1996
EventProceedings of the Third Imperial College Workshop
- Christ Church, Oxford, United Kingdom
Duration: 1 Apr 19963 Apr 1996

Conference

ConferenceProceedings of the Third Imperial College Workshop
CountryUnited Kingdom
CityOxford
Period1/04/963/04/96

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

  • Cite this

    Lano, K., Fiadeiro, J., & Dick, J. (1996). Extending B AMN with concurrency. In A. Edalat, S. Jourdan, & G. McCusker (Eds.), Advances in the theory and formal methods of computing (pp. 228-239). Imperial College Press. https://doi.org/10.1142/9781783263455