Extending B AMN with concurrency

K Lano, J Fiadeiro, J Dick

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

Original languageEnglish
Title of host publicationADVANCES IN 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
Publication statusPublished - 1996
Event3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing - OXFORD
Duration: 1 Apr 19963 Apr 1996

Conference

Conference3rd Imperial-College Workshop on the Advances in Theory and Formal Methods of Computing
CityOXFORD
Period1/04/963/04/96

Cite this