2016-03-03
Automata-theoretic protocol programming : parallel computation, threads and their interaction, optimized compilation, [at a] high level of abstraction
Publication
Publication
Additional Metadata | |
---|---|
Software (theme 1) | |
F. Arbab (Farhad) | |
Universiteit Leiden | |
Cum Laude | |
Organisation | Computer Security |
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.
|