A Syntactic Theory of Message Passing

• DOI: 10.1145/322186.322199
• Publication Date: 2002-07-27T11:26:10Z
• Authors: Stephen A. Ward; Robert H. Halstead
• Keywords: Implementation

Recent developments by Hewitt and others have stimulated interest in message-passing constructs as an alternative to the more conventional applicative semantics on which most current languages are based. The present work illuminates distinction between means of μ -calculus, a syntactic model systems similar mechanism λ-calculus. Algorithms for translation expressions from λ- -calculus presented, differences two approaches discussed. Message-passing seem particularly applicable study multiprocessing. through conduits, provides simple limited but interesting class parallel computations. Multiprocessing capabilities illustrated, multiple-processor implementations discussed briefly.