Nested Atomic Sections with Thread Escape: An Operational Semantics.

Frédéric Dabrowski Frédéric Loulergue Thomas Pinsard

Published in: PDCAT (2013)

Keyphrases

operational semantics
formal semantics
model theoretic
declarative semantics
data model
mental states
denotational semantics
knowledge base
agent programming
black box