C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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