Tools for Monitoring and Controlling Distributed Applications.
暂无分享,去创建一个
[1] Peter C. Bates,et al. Debugging heterogeneous distributed systems using event-based models of behavior , 1988, PADD '88.
[2] Kenneth P. Birman,et al. Exploiting virtual synchrony in distributed systems , 1987, SOSP '87.
[3] Kenneth P. Birman,et al. Reliable broadcast protocols , 1990 .
[4] Leslie Lamport,et al. The ``Hoare Logic'' of CSP, and All That , 1984, TOPL.
[5] Charles E. McDowell,et al. Debugging concurrent programs , 1989, ACM Comput. Surv..
[6] Roger King,et al. IDD: An Interactive Distributed Debugger , 1985, ICDCS.
[7] Peter P. Chen. The entity-relationship model: toward a unified view of data , 1975, VLDB '75.
[8] Morris Sloman,et al. Constructing Distributed Systems in Conic , 1989, IEEE Trans. Software Eng..
[9] SnodgrassRichard. A relational approach to monitoring complex systems , 1988 .
[10] P. M. Melliar-Smith,et al. An interval logic for higher-level temporal reasoning , 1983, PODC '83.
[11] Fred B. Schneider,et al. Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.