Login / Signup
Operational Semantics, Interval Orders and Sequences of Antichains.
Ryszard Janicki
Maciej Koutny
Published in:
Fundam. Informaticae (2019)
Keyphrases
</>
operational semantics
formal semantics
hidden markov models
term rewriting
mental states
model theoretic
denotational semantics
data model
agent programming
activity diagrams
cooperative
declarative semantics