A formalism for concurrent processes

A. Kaldewaij

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

302 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Department of Mathematics and Computer Science
Begeleider(s)/adviseur
  • Rem, Martin, Promotor
  • Kruseman Aretz, Frans E.J., Promotor
Datum van toekenning6 mei 1986
Plaats van publicatieEindhoven
Uitgever
DOI's
StatusGepubliceerd - 1986

Citeer dit