ListarLSI_Articles por tema "Formal methods"
Mostrando ítems 1-1 de 1
-
On the interconnection of message passing systems
Elsevier (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 ...