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 | |
---|---|
F. Arbab (Farhad) | |
Universiteit Leiden | |
Organisation | Computer Security |
Jongmans, S. (2016, March 3). Automata-theoretic protocol programming : parallel computation, threads and their interaction, optimized compilation, [at a] high level of abstraction. |