On the interconnection of message passing systems

Abstract:

One of the most important abstractions for designing distributed programs is the broadcast facility. In this paper, we study the interconnection of distributed message passing systems. We have shown that totally ordered systems cannot be properly interconnected in any form. However, we have provided a simple protocol to properly interconnect FIFO ordered systems. © 2007 Elsevier B.V. All rights reserved.

Año de publicación:

2008

Keywords:

• Design of algorithms
• DISTRIBUTED SYSTEMS
• Interconnection networks
• Formal Methods

Fuente:

scopus