Structural operational semantics for non-deterministic processes with quantitative aspects.

Marino Miculan Marco Peressotti

Published in: CoRR (2014)

Keyphrases

operational semantics
formal semantics
computational models
mental states
agent programming
data model
black box
model theoretic
declarative semantics
activity diagrams
cooperative
denotational semantics