Formal derivations of non-blocking multiprograms

  • A.J. Mooij

Student thesis: Master

Abstract

Date of Award31 Aug 2002
Original languageEnglish
SupervisorW.H.J. Feijen (Supervisor 1)

Cite this

Formal derivations of non-blocking multiprograms
Mooij, A. J. (Author). 31 Aug 2002

Student thesis: Master