Coalgebraic Modelling: Applications in Automata Theory and Modal Logic

H.H. Hansen

Research output: PhD ThesisPhD-Thesis - Research and graduation internal

164 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Rutten, J.J.M.M., Supervisor
  • Venema, Y., Co-supervisor
  • Kupke, C.A., Co-supervisor, -
Award date14 May 2009
Publication statusPublished - 2009

Keywords

  • automata
  • bisimilarity
  • bitstream function
  • classical modal logic
  • coalgebra
  • neighbourhood semantics
  • subsequential transducer
  • synthesis

Cite this