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

Marino Miculan Marco Peressotti

Published in: Theor. Comput. Sci. (2016)

Keyphrases

operational semantics
formal semantics
data model
mental states
computational models
model theoretic
activity diagrams
process model
qualitative and quantitative
denotational semantics
declarative semantics
database
e learning
case study
first order logic
speech acts