A framework for protocol composition in Horus
暂无分享,去创建一个
Roy Friedman | Robbert van Renesse | Kenneth P. Birman | Mark Hayden | David A. Karr | R. V. Renesse | K. Birman | R. Friedman | M. Hayden | D. Karr | Mark Hayden
[1] Kenneth P. Birman,et al. Understanding partitions and the 'no partition' assumption , 1993, 1993 4th Workshop on Future Trends of Distributed Computing Systems.
[2] Kenneth P. Birman,et al. A response to Cheriton and Skeen's criticism of causal and totally ordered communication , 1994, OPSR.
[3] Alan Fekete. Formal models of communication services: a case study , 1993, Computer.
[4] Shivakant Mishra,et al. Experience with modularity in consul , 1993, Softw. Pract. Exp..
[5] Nancy A. Lynch,et al. Impossibility of distributed consensus with one faulty process , 1985, JACM.
[6] Özalp Babaoglu,et al. RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.
[7] Robbert van Renesse,et al. Causal controversy at Le Mont St.-Michel , 1993, OPSR.
[8] Robbert van Renesse,et al. Design and Performance of Horus: A Lightweight Group Communications System , 1994 .
[9] Louise E. Moser,et al. Extended virtual synchrony , 1994, 14th International Conference on Distributed Computing Systems.
[10] Edoardo Biagioni. A structured TCP in standard ML. , 1994, SIGCOMM 1994.
[11] Robbert van Renesse,et al. Reliable Distributed Computing with the Isis Toolkit , 1994 .
[12] Dennis M. Ritchie,et al. A stream input-output system , 1990 .
[13] Larry L. Peterson,et al. RPC in the x-Kernel: evaluating new design techniques , 1989, SOSP '89.
[14] André Schiper,et al. Uniform actions in asynchronous distributed systems , 1994, PODC '94.
[15] David R. Cheriton,et al. Understanding the limitations of causally and totally ordered communication , 1994, SOSP '93.
[16] K. Birman,et al. Understanding Partitions and the \ No Partition " , 1993 .