Observational interpretation of Casl specifications.

Michel Bidoit Donald Sannella Andrzej Tarlecki

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases

high level
image interpretation
real time
image segmentation
multi agent
formal specification
specification language
semantic interpretation
delay insensitive
decision making
artificial neural networks
inference process
operational semantics
causal inference