A Syntactic Theory of Message Passing

DOI10.1145/322186.322199MaRDI QIDQ3873572zbMATH OpenOpenAlexFDO

Authors Stephen A. Ward, Robert H. jun. Halstead

Publication date 1980

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/322186.322199

zbMATH Keywords

actor semanticsdistributed computinglambda calculusmessage passingprogramming language semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• Multi-mode interaction middleware for software services

This page was built for publication: A Syntactic Theory of Message Passing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3873572)