| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| The Analysis of Concurrent Systems | 978-0-387-16047-4 (0-387-16047-7) | 1986 | ||
| The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings | 978-3-540-16047-2 (3-540-16047-7) | 2008 | M. J. Wray · B. T. Denvir · M. I. Jackson | |