Sign in
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
Huibiao Zhu
Fan Yang
Jifeng He
Jonathan P. Bowen
Jeff W. Sanders
Shengchao Qin
Published in:
J. Log. Algebraic Methods Program. (2012)
Keyphrases
</>
operational semantics
model theoretic
formal semantics
declarative semantics
denotational semantics
mental states
agent programming
data model
speech acts
logical language
agent communication language
petri net
cooperative
activity diagrams
reinforcement learning