ListarLSI_Articles por tema "Formal methods"

Mostrando ítems 1-1 de 1

    • closedAccess   On the interconnection of message passing systems 

      Alvarez, Agustin; Arévalo, Sergio; Cholvi, Vicent; Fernández Anta, Antonio; Jiménez, Ernesto 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 ...