Stratified operational semantics for safety and correctness of the region calculus.

Cristiano Calcagno

Published in: POPL (2001)

Keyphrases

operational semantics
term rewriting
formal semantics
provably correct
denotational semantics
mental states
data model
model theoretic
declarative semantics
activity diagrams
case study
cooperative
agent programming