The Operational Semantics of an Active Message System.

Robert Palumbo Hossein Saiedian Mansour Zand

Published in: ACM Conference on Computer Science (1992)

Keyphrases

operational semantics
formal semantics
model theoretic
declarative semantics
mental states
data model
agent communication language
denotational semantics
activity diagrams
email
case study
cooperative
dynamic environments
speech acts
databases
machine learning