Sign in
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.
Huibiao Zhu
Fan Yang
Jifeng He
Jonathan P. Bowen
Jeff W. Sanders
Published in:
SEW (2009)
Keyphrases
</>
operational semantics
model theoretic
formal semantics
denotational semantics
declarative semantics
agent programming
mental states
logical language
speech acts
activity diagrams
petri net
data model
bayesian networks
language learning
online learning
mobile robot
agent communication language
expert systems