A structural operational semantics for interactions with a look at loops.

Erwan Mahe Christophe Gaston Pascale Le Gall

Published in: CoRR (2021)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
denotational semantics
declarative semantics
agent programming
machine learning
data model
activity diagrams
cooperative