Semantics of reactive systems : comparison and full abstraction

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

396 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Roever, de, W.P., Promotor
  • van Hee, Kees M., Promotor
Award date8 Mar 1991
Place of PublicationEindhoven
Publisher
DOIs
Publication statusPublished - 1991

Cite this

Huizing, C.. / Semantics of reactive systems : comparison and full abstraction. Eindhoven : Technische Universiteit Eindhoven, 1991. 131 p.
@phdthesis{a4e7f4d6445a438fb0d8cd2a9934136b,
title = "Semantics of reactive systems : comparison and full abstraction",
author = "C. Huizing",
year = "1991",
doi = "10.6100/IR348201",
language = "English",
publisher = "Technische Universiteit Eindhoven",
school = "Department of Mathematics and Computer Science",

}

Huizing, C 1991, 'Semantics of reactive systems : comparison and full abstraction', Doctor of Philosophy, Department of Mathematics and Computer Science, Eindhoven. https://doi.org/10.6100/IR348201

Semantics of reactive systems : comparison and full abstraction. / Huizing, C.

Eindhoven : Technische Universiteit Eindhoven, 1991. 131 p.

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

TY - THES

T1 - Semantics of reactive systems : comparison and full abstraction

AU - Huizing, C.

PY - 1991

Y1 - 1991

U2 - 10.6100/IR348201

DO - 10.6100/IR348201

M3 - Phd Thesis 1 (Research TU/e / Graduation TU/e)

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -