Operational semantics for signal handling

Maxim Strygin Hayo Thielecke

Published in: EXPRESS/SOS (2012)

Keyphrases

operational semantics
mental states
formal semantics
signal processing
data model
model theoretic
activity diagrams
databases
declarative semantics
object oriented
agent programming