Stateful Structural Operational Semantics.

Sergey Goncharov Stefan Milius Lutz Schröder Stelios Tsampas Henning Urbat

Published in: FSCD (2022)

Keyphrases

operational semantics
formal semantics
mental states
denotational semantics
model theoretic
data model
activity diagrams
intelligent systems
agent programming
object oriented