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, S.-S.T.Q (Sung-Shik)
ProgrammePhD Computer Science
SupervisorsArbab, prof.dr. F. (Farhad)
More information Thesis information

Citation details

Jongmans, S.-S.T.Q (Sung-Shik), Automata-Theoretic Protocol Programming, Thesis PhD Computer Science, LIACS, Leiden University, 2016.