Buffered asynchronous communication mechanisms

MaRDI QIDQ5480172zbMATH OpenFDO

Authors Fei Xia, Fei Hao, Ian D. Clark, Alex Yakovlev, E. Graeme Chester

Publication date 26 July 2006

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Automating synthesis of asynchronous communication mechanisms
• scientific article; zbMATH DE number 1786643
• scientific article; zbMATH DE number 1820087
• A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
• Equations for asynchronous message passing

Cited in

(8)

• Buffered Communication Analysis in Distributed Multiparty Sessions
• A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
• Broadcasting buffering communication
• Slotted-FIFO Communication for Asynchronous Distributed Systems
• scientific article; zbMATH DE number 1786643 (Why is no real title available?)
• scientific article; zbMATH DE number 2090146 (Why is no real title available?)
• Automating synthesis of asynchronous communication mechanisms
• A non-blocking buffer mechanism for real-time event message communication

Describes a project that uses

Uses Software

• Matlab

This page was built for publication: Buffered asynchronous communication mechanisms

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