Automata-Theoretic Protocol Programming: Parallel computation, threads and their interaction, optimized compilation [at a] high level of abstraction
Sung-Shik Jongmans
Research output: Thesis › Doctoral Thesis › Thesis 3: defended at external organisation, OU employee
79Downloads
(Pure)
Fingerprint
Dive into the research topics of 'Automata-Theoretic Protocol Programming: Parallel computation, threads and their interaction, optimized compilation [at a] high level of abstraction'. Together they form a unique fingerprint.