A formalism for concurrent processes

A. Kaldewaij

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

286 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Rem, Martin, Promotor
  • Kruseman Aretz, Frans E.J., Promotor
Award date6 May 1986
Place of PublicationEindhoven
Publisher
DOIs
Publication statusPublished - 1986

Cite this

Kaldewaij, A. (1986). A formalism for concurrent processes. Technische Hogeschool Eindhoven. https://doi.org/10.6100/IR244640