Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Publication date | 2001 |
---|---|
Host publication | Formal methods for distributed processing : a survey of object-oriented approaches |
Editors | Howard Bowman, John Derrick |
Place of Publication | Cambridge |
Publisher | Cambridge University Press |
Pages | 373-399 |
Number of pages | 27 |
ISBN (print) | 9780521771849 |
<mark>Original language</mark> | English |