Skip to main content
Article thumbnail
Location of Repository

Coalgebraic Modelling : Applications in Automata theory and Modal logic

By H.H. Hansen

Abstract

Rutten, J.J.M.M. [Promotor

Topics: Coalgebraic modelling and synthesis of sequential machines. Coalgebraic modal logic and basic model theory for neighbourhood-like structures, coalgebra, automata, bitstream function, synthesis, subsequential transducer, bisimilarity, neighbourhood semantics, classical modal logic
Publisher: Amsterdam: Vrije Universiteit
Year: 2009
OAI identifier: oai:dare.ubvu.vu.nl:1871/13247
Provided by: DSpace at VU

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.