Symmetric intertask communication

DOI10.1145/4472.4475MaRDI QIDQ3694673zbMATH OpenOpenAlexFDO

Authors Nissim Francez, Shaula A. Yemini

Publication date 1985

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1985-7/

zbMATH Keywords

semanticsrendezvousdeadlockguardsAdadistributed termination ruleinverted communicationsymmetric intertask communicationsymmetric select construct

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• On the expressiveness of symmetric communication
• Symmetric \(\pi\)-calculus
• Appraising fairness in languages for distributed programming
• Communicating parallel processes
• The mutual exclusion problem

Cited in

(1)

• Issues in the design of a parallel object-oriented language

This page was built for publication: Symmetric intertask communication

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