PhD Computer Science

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

Thesis details

TitleConcurrent System Verification with Process Algebra
StudentZuidweg, J. (Han)
ProgrammePhD Computer Science
SupervisorsOllongren, prof.dr. A. (Alexander)

Citation details

Zuidweg, J. (Han), Concurrent System Verification with Process Algebra, Thesis PhD Computer Science, LIACS, Leiden University, 1990.