PhD Computer Science

The following thesis was written by a student in the 2016 class of the PhD Computer Science programme at Leiden University.

Thesis details

TitleAutomata-theoretic protocol programming
StudentJongmans, Sung-Shik
ProgrammePhD Computer Science
More information Thesis information

Citation details

Jongmans, Sung-Shik , Automata-theoretic protocol programming, Thesis PhD Computer Science, LIACS, Leiden University, 2016.