Semantics of reactive systems : comparison and full abstraction

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

477 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