Extending B AMN with concurrency. / Lano, K ; Fiadeiro, J ; Dick, J .

ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. ed. / A Edalat; S Jourdan; G McCusker. LONDON : Imperial College Press, 1996. p. 228-239.

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

Published
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

ID: 7200498