Better living through operational semantics: an optimizing compiler for radio protocols.

Geoffrey Mainland

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

operational semantics
programming language
formal semantics
agent communication language
general purpose
model theoretic
mental states
activity diagrams
data model
wireless systems
declarative semantics
denotational semantics
wireless communication
interaction protocols
agent programming