Extending B AMN with concurrency

K Lano; J Fiadeiro; J Dick

doi:10.1142/9781783263455

Extending B AMN with concurrency

K Lano, J Fiadeiro, J Dick

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Advances in the theory and formal methods of computing
Editors	A. Edalat, S. Jourdan, G. McCusker
Place of Publication	London
Publisher	Imperial College Press
Pages	228-239
Number of pages	12
ISBN (Print)	1-86094-031-5
DOIs	https://doi.org/10.1142/9781783263455
Publication status	Published - 1996
Event	Proceedings of the Third Imperial College Workshop - Christ Church, Oxford, United Kingdom Duration: 1 Apr 1996 → 3 Apr 1996

Conference

Conference	Proceedings of the Third Imperial College Workshop
Country/Territory	United Kingdom
City	Oxford
Period	1/04/96 → 3/04/96

Access to Document

10.1142/9781783263455

Cite this

@inproceedings{f69c86ee0cca494db0146c5178703f7d,

title = "Extending B AMN with concurrency",

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.",

author = "K Lano and J Fiadeiro and J Dick",

year = "1996",

doi = "10.1142/9781783263455",

language = "English",

isbn = "1-86094-031-5",

pages = "228--239",

editor = "A. Edalat and S. Jourdan and G. McCusker",

booktitle = "Advances in the theory and formal methods of computing",

publisher = "Imperial College Press",

note = "Proceedings of the Third Imperial College Workshop<br/> ; Conference date: 01-04-1996 Through 03-04-1996",

}

TY - GEN

T1 - Extending B AMN with concurrency

AU - Lano, K

AU - Fiadeiro, J

AU - Dick, J

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

UR - https://blackwells.co.uk/bookshop/product/Advances-In-Theory-And-Formal-Methods-Of-Computing-Proceedings-Of-The-Third-Imperial-College-Workshop-by-Abbas-Edalat-editor-S-Jourdan-editor-G-Mccusker-editor/9781783263455

U2 - 10.1142/9781783263455

DO - 10.1142/9781783263455

M3 - Conference contribution

SN - 1-86094-031-5

SP - 228

EP - 239

BT - Advances in the theory and formal methods of computing

A2 - Edalat, A.

A2 - Jourdan, S.

A2 - McCusker, G.

PB - Imperial College Press

CY - London

T2 - Proceedings of the Third Imperial College Workshop<br/>

Y2 - 1 April 1996 through 3 April 1996

ER -

Extending B AMN with concurrency

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this