Coalgebraic Modelling: Applications in Automata Theory and Modal Logic

H.H. Hansen

Coalgebraic Modelling: Applications in Automata Theory and Modal Logic

H.H. Hansen

Theoretical Computer Science

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

310 Downloads (Pure)

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Rutten, J.J.M.M., Supervisor Venema, Y., Co-supervisor Kupke, C.A., Co-supervisor, -
Award date	14 May 2009
Publication status	Published - 2009

Keywords

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

Access to Document

CoverFinal published version, 2.39 MB
Title pageFinal published version, 19.4 KB
Abstract dutchFinal published version, 28.8 KB
Abstract englishFinal published version, 27.7 KB
Complete dissertationFinal published version, 1.88 MB

Persistent URL (handle)

Copy link address

Cite this

@phdthesis{f79651afaa914827bbdd9880f0b7fbf9,

title = "Coalgebraic Modelling: Applications in Automata Theory and Modal Logic",

keywords = "automata, bisimilarity, bitstream function, classical modal logic, coalgebra, neighbourhood semantics, subsequential transducer, synthesis",

author = "H.H. Hansen",

year = "2009",

language = "English",

type = "PhD-Thesis - Research and graduation internal",

school = "Vrije Universiteit Amsterdam",

}