Date of Award | 31 Aug 1994 |
---|---|
Original language | English |
Supervisor | M. Rem (Supervisor 1), D.A. Edwards (Supervisor 2), A.M. Bailey (Supervisor 2) & Rudolf H. Mak (Supervisor 2) |
The asynchronous move machine : verification using CCS
Student thesis: Master