Master Computer Science



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


Thesis details

TitleSystematic Specification and Verification of Coordination: Towards Patterns for Paradigm Models
StudentKampenhout, N. (Niels) van
ProgrammeMaster Computer Science
Year2003
SupervisorsGroenewegen, dr. L.P.J. (Luuk)
dr. E.P. de Vink (second supervisor)

Citation details

Kampenhout, N. (Niels) van, Systematic Specification and Verification of Coordination: Towards Patterns for Paradigm Models, Thesis Master Computer Science, LIACS, Leiden University, 2003.