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
StudentN. van Kampenhout
ProgrammeMaster Computer Science
Year2003

Citation details

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