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

Title Automata-theoretic protocol programming
Student Jongmans, Sung-Shik
Programme PhD Computer Science
Year 2016
More information Thesis information

Citation details

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