Master Computer Science

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

Thesis details

TitlePetrinetsemantiek van mobiele processen
StudentT. Gelsema
ProgrammeMaster Computer Science

Citation details

T. Gelsema, Petrinetsemantiek van mobiele processen, Thesis Master Computer Science, LIACS, Leiden University, 1994.