Concurrent Separation Logic and Operational Semantics.

Viktor Vafeiadis

Published in: MFPS (2011)

Keyphrases

operational semantics
formal semantics
model theoretic
term rewriting
declarative semantics
mental states
data model
agent programming
denotational semantics
intelligent agents
activity diagrams
speech acts