Extending B AMN with concurrency

K Lano, J Fiadeiro, J Dick

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ADVANCES IN 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
Publication status	Published - 1996
Event	3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing - OXFORD Duration: 1 Apr 1996 → 3 Apr 1996

Conference	3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing
City	OXFORD
Period	1/04/96 → 3/04/96

Cite this

@inproceedings{506cb68f10d149d28ca90ea78e779e8d,

title = "Extending B AMN with concurrency",

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

year = "1996",

language = "English",

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

pages = "228--239",

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

booktitle = "ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING",

publisher = "Imperial College Press",

note = "3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing ; 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

M3 - Conference contribution

SN - 1-86094-031-5

SP - 228

EP - 239

BT - ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING

A2 - Edalat, A

A2 - Jourdan, S

A2 - McCusker, G

PB - Imperial College Press

CY - LONDON

T2 - 3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing

Y2 - 1 April 1996 through 3 April 1996

ER -