Automating synthesis of asynchronous communication mechanisms

MaRDI QIDQ5295512zbMATH OpenFDO

Authors Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alex Yakovlev

Publication date 30 July 2007

zbMATH Keywords

asynchronous communication mechanismsconcurrent and distributed systemsembedded systemshardware and software codesignPetri netsprotocolssynthesis

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
• scientific article; zbMATH DE number 1820087
• scientific article; zbMATH DE number 1786643
• Buffered asynchronous communication mechanisms
• Asynchronous system synthesis

Cited in

(6)

• Asynchronous system synthesis
• scientific article; zbMATH DE number 1820087 (Why is no real title available?)
• A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
• scientific article; zbMATH DE number 1786643 (Why is no real title available?)
• Buffered asynchronous communication mechanisms
• scientific article; zbMATH DE number 3310916 (Why is no real title available?)

This page was built for publication: Automating synthesis of asynchronous communication mechanisms

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