On the interconnection of message passing systems

Information Processing Letters

Volumn 105, Issue 6, 2008, Pages 249-254

  Alvarez A ^a   Arevalo S ^b   Cholvi, V ^c   Fernandez A ^b   Jimenez E ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSIDAD REY JUAN CARLOS   (Spain)

^c Institute of New Imaging Technologies   (Spain)

Author keywords

Design of algorithms; Distributed systems; Formal methods; Interconnection networks

Indexed keywords

COMPUTER SOFTWARE; FORMAL METHODS; INTERCONNECTION NETWORKS; NETWORK PROTOCOLS;

DISTRIBUTED PROGRAMS; MESSAGE PASSING SYSTEMS;

MESSAGE PASSING;

EID: 38349143992     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2007.09.006     Document Type: Article

References (13)

1. Attiya H., and Welch J. Distributed Computing Fundamentals, Simulations and Advanced Topics (1998), McGraw Hill
2. Lynch N.A. Distributed Algorithms (1996), Morgan Kaufmann Publishers Inc., San Francisco, CA, USA
3. van Renesse R., Birman K.P., and Maffeis S. Horus: a flexible group communication system. Commun. ACM 39 4 (1996) 76-83
4. Melliar-Smith P.M., Moser L.E., and Agrawala V. Broadcast protocols for distributed systems. IEEE Trans. Parallel Distrib. Syst. 1 1 (1990) 17-25
5. Raynal M., Schiper A., and Toueg S. The causal ordering abstraction and a simple way to implement it. Inf. Process. Lett. 39 6 (1991) 343-350
6. Schiper A., Birman K., and Stephenson P. Lightweight causal and atomic group multicast. ACM Trans. Comput. Syst. 9 3 (1991) 272-314
7. Garcia-Molina H., and Spauster A. Ordered and reliable multicast communication. ACM Trans. Comput. Syst. 9 3 (1991) 242-271
8. Kaashoek M.F., Tanenbaum A.S., and Hummel S.F. An efficient reliable broadcast protocol. SIGOPS Oper. Syst. Rev. 23 4 (1989) 5-19
9. Lamport L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21 7 (1978) 558-565
10. Baldoni R., Beraldi R., Friedman R., and van Renesse R. The hierarchical daisy architecture for causal delivery. Distributed Systems Engineering 6 2 (1999) 71-81
11. Rodrigues L.E.T., and Verissimo P. Causal separators for large-scale multicast communication. ICDCS '95: Proceedings of the 15th International Conference on Distributed Computing Systems (1995), IEEE Computer Society, Washington, DC, USA 83
12. N. Adly, M. Nagi, Maintaining causal order in large scale distributed systems using a logical hierarchy, in: Proc. IASTED Int. Conf. on Applied Informatics, 1995, pp. 214-219
13. Haldar S., and Vitányi P.M.B. Bounded concurrent timestamp systems using vector clocks. J. ACM 49 1 (2002) 101-126