| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Title | 1980 | |||
| Title | 1977 | |||
| ‘The concurrency workbench: a semantics based tool for the verification of concurrent systems’, Technical report, LFCS-89-83, University of Edinburg, 1989 | ||||
| Milner, R.: Communication and concurrency, (Prentice Hall 1989) |