Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains.

Ryszard Janicki

Published in: Petri Nets (2018)

Keyphrases

operational semantics
hidden markov models
formal semantics
agent programming
denotational semantics
term rewriting
model theoretic
artificial intelligence
modeling language