The Operational Semantics of an Active Message System. - Robert Palumbo; Hossein Saiedian; Mansour Zand (ACM Conference on Computer Science, 1992)