A denotational model and composition theorems for a calculus of delay-insensitive specifications
By: Paulus Gregorius Lucassen
Contributors: Rijksuniversiteit te Groningen
Publisher: [s.n.]
Published: 1994
Place of publication: [s.l.]
Language: eng
Number of pages: 220
Notes: Thesis (doctoral)--Rijksuniversiteit te Groningen, 1963.

Met index, lit. opg. - Met samenvatting in het Nederlands.