Denotational semantics of hybrid automata.

Abbas Edalat Dirk Pattinson

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

denotational semantics
hybrid automata
programming language
finite state automata
operational semantics
query language
general purpose
high level
object oriented
abstract data types
machine learning
artificial intelligence
moving objects
knowledge representation