Master Computer Science

The following thesis was written by a student in the 2020-2021 class of the Master Computer Science programme at Leiden University.

Thesis details

TitleOperational Semantics of GHOPFL
StudentVlasakker, Rintse van de
ProgrammeMaster Computer Science
Supervisorsdr. H. Basold (first supervisor)
dr. A.W. Laarman (second supervisor)
Thesis Open Thesis PDF

Citation details

Vlasakker, Rintse van de, Operational Semantics of GHOPFL, Thesis Master Computer Science, LIACS, Leiden University, 2021.