Coalgebraic Modelling: Applications in Automata Theory and Modal Logic

H.H. Hansen

    Research output: PhD ThesisPhD Thesis - Research VU, graduation VU

    43 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, External person
    Award date14 May 2009
    Publication statusPublished - 2009

    Keywords

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

    Cite this