- Bowers, K., Mills, K., and Rose, S. 2003. Self-adaptive leasing for Jini. In Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications. 539-542. Google ScholarDigital Library
- Clark, D. 1988. The design philosophy of the DARPA internet protocols. In Proceedings on Communications Architectures and Protocols. Stanford, CA. Google ScholarDigital Library
- Duvvuri, V., Shenoy, P., and Tewari, R. 2003. Adaptive leases: A strong consistency mechanism for the World Wide Web. IEEE Trans. Knowl. Data Engin. 15, 5. 1266-1276. Google ScholarDigital Library
- Fox, A., Gribble, S. D., Chawathe, Y., Brewer, E. A., and Gauthier, P. 1997. Cluster-based scalable network services. In Proceedings of the 16th ACM Symposium on Operating Systems Principles. 78-91. Google ScholarDigital Library
- Gray, C. and Cheriton, D. 1989. Leases: An efficient fault-tolerant mechanism for distributed file cache consistency. In Proceedings of the 12th ACM Symposium on Operating Systems Principles. 202-210. Google ScholarDigital Library
- Ji, P., Ge, Z., Kurose, J. and Towsley, D. 2003. A comparison of hard-state and soft-state signaling protocols. In Proceedings of the Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications. Karlsruhe, Germany. 251-262. Google ScholarDigital Library
- Ling, B. C., Kiciman, E. and Fox, A. 2004. Session state: Beyond soft state. In Proceedings of the 1st USENIX/ACM Symposium on Networked Systems Design and Implementation. San Francisco, CA. Google ScholarDigital Library
- Lui, J. C. S., Misra, V., and Rubenstein, D. 2004. On the robustness of soft state protocols. In Proceedings of the 12th IEEE International Conference on Network Protocols. 50-60. Google ScholarDigital Library
- Ninan, A., Kulkarni, P., Shenoy, P., Ramamritham, K., and Tewari, R. 2002. Cooperative leases: Scalable consistency maintenance in content distribution networks. In Proceedings of the 11th International Conference on World Wide Web. Honolulu, Hawaii. 1-12. Google ScholarDigital Library
- Raman, S. and McCanne, S. 1999. A model, analysis, and protocol framework for soft state-based communication. In Proceedings of the Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication. 15-25. Google ScholarDigital Library
- Rose, S., Bowers, K., Quirolgico, S., and Mills, K. 2003. Improving failure responsiveness in Jini leasing. In Proceedings of the DARPA Information Survivability Conference and Exposition. 1-12.Google Scholar
- Sharma, P., Estrin, D., Floyd, S., and Jacobson, V. 1997. Scalable timers for soft state protocols. In Proceedings of the 16th Annual Joint Conference of the IEEE Computer and Communications Societies--Driving the Information Revolution. 222-230. Google ScholarDigital Library
- Sun Microsystems. 1999. Jini Technology Architectural Overview.Google Scholar
- Waldo, J. 1999. The Jini architecture for network-centric computing. Comm. ACM 42, 7. 76-82. http://www.sun.com/software/jini/ whitepapers/architecture.pdf. Google ScholarDigital Library
Index Terms
- State considerations in distributed systems
Recommendations
Canonical finite state machines for distributed systems
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multiple ports/interfaces a multi-port FSM is used and in testing, a tester is ...
Comments