A formalism for concurrent processes

A. Kaldewaij

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

344 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Rem, Martin, Promotor Kruseman Aretz, Frans, Promotor
Award date	6 May 1986
Place of Publication	Eindhoven
Publisher	Technische Hogeschool Eindhoven
DOIs	https://doi.org/10.6100/IR244640
Publication status	Published - 1986

Access to Document