Research output per year
Research output per year
Computing Science, Ph.D., PATH EXPRESSIONS: A Technique for Specifying Process Synchronization, University of Newcastle
1971 → 1976
Award Date: May 31 1977
Computer Science, M.Sc., University of Newcastle
1971 → 1976
Award Date: May 31 1972
Mathematics, B.Sc., School of Mathematical and Physical Sciences, University of Sussex, Falmer
1966 → 1969
Award Date: Jun 15 1969
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review