An alternative implementation of communication primitives

DOI10.1016/0020-0190(86)90079-7MaRDI QIDQ1091123zbMATH OpenOpenAlexFDO

Authors Jan L. A. van de Snepscheut, Jan Tijmen Udding

Publication date 1986

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(86)90079-7

zbMATH Keywords

synchronizationimplementationcorrectnessdeadlockcommunicating processescommunication primitives

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Comparing communication primitives via their relative expressive power
• Communication primitives for BSP computers
• Foundations of Software Science and Computation Structures
• The synthesis of communication protocols
• A methodology for constructing communication protocols with multiple concurrent functions
• scientific article; zbMATH DE number 865194
• The probe: An addition to communication primitives
• FM 2005: Formal Methods
• On asymmetric communication protocols

Cites work

• The probe: An addition to communication primitives
• Trace theory and VLSI design

Cited in

(5)

• scientific article; zbMATH DE number 1830939 (Why is no real title available?)
• Another approach to the implementation of synchronization primitives
• The probe: An addition to communication primitives
• Computational Science - ICCS 2004
• Synchronization and communication in the `subject'

This page was built for publication: An alternative implementation of communication primitives

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