2024-03-28T08:11:19Zhttps://repositori.uji.es/oai/requestoai:repositori.uji.es:10234/389792023-11-13T08:44:12Zcom_10234_7038com_10234_9col_10234_8634
00925njm 22002777a 4500
dc
Alvarez, Agustin
author
Arévalo, Sergio
author
Cholvi, Vicent
author
Fernández Anta, Antonio
author
Jiménez, Ernesto
author
2008
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.
Information Processing Letters, 105, 6, p. 249-254
200190
http://hdl.handle.net/10234/38979
http://dx.doi.org/10.1016/j.ipl.2007.09.006
Design of algorithms
Distributed systems
Formal methods
Interconnection networks
On the interconnection of message passing systems