Correctnes proof for an implementation of the CSP-interaction mechanism

  • Jan Langewouters

Student thesis: Master

Date of Award30 Jun 1993
Original languageEnglish
SupervisorM. Rem (Supervisor 1) & Tom Verhoeff (Supervisor 2)

Cite this

'