Additional Metadata
THEME Software (theme 1)
Promotor F. Arbab (Farhad)
Degree Grantor Universiteit Leiden
Note Cum Laude
Citation
Jongmans, S.-S.T.Q. (2016, March 3). Automata-theoretic protocol programming : parallel computation, threads and their interaction, optimized compilation, [at a] high level of abstraction.