The asynchronous move machine : verification using CCS

  • J.S.H. van Gageldonk

Student thesis: Master

Date of Award31 Aug 1994
Original languageEnglish
SupervisorM. Rem (Supervisor 1), D.A. Edwards (Supervisor 2), A.M. Bailey (Supervisor 2) & Rudolf H. Mak (Supervisor 2)

Cite this

'