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

Title Systematic Specification and Verification of Coordination: Towards Patterns for Paradigm Models
Student N. van Kampenhout
Programme Master Computer Science
Year 2003

Citation details

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