Models and Software Model Checking of a Distributed File Replication System - Formal Methods and Hybrid Real-Time Systems - page 23

4. Malkhi, D., Terry, D.B.: Concise Version Vectors in WinFS. In: Fraigniaud, P. (ed.)
DISC 2005. LNCS, vol. 3724, pp. 339-353. Springer, Heidelberg (2005)
5. Teodosiu, D., Bjørner, N., Gurevich, Y., Manasse, M., Porkka, J.: Optimizing file
replication over limited-bandwidth networks using remote differential compression.
Technical report, Microsoft Research, MSR-TR-2006-157 (November 2006)
6. Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System.
Commun. ACM 21(7), 558-565 (1978)
7. Baquero, C., Moura, F.: Improving causality logging in mobile computing networks.
ACM Mobile Computing and Communications Review 2(4), 62-66 (1998)
8. Kang, B., Wilensky, R., Kubiatowicz, J.: The hash history approach for reconcil-
ing mutual inconsistency. In: ICDCS, pp. 670-677. IEEE Computer Society, Los
Alamitos (2003)
9. Barnett, M., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes,
M.: Towards a Tool Environment for Model-Based Testing with AsmL. In: Pe-
trenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 252-266. Springer,
Heidelberg (2004)
10. Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A model checker
for concurrent software. In: Alur, R., Peled, D.A (eds.) CAV 2004. LNCS, vol. 3114,
pp. 484-487. Springer, Heidelberg (2004)
11. Holzmann, G.J.: The Model Checker SPIN. IEEE Trans. Software Eng. 23(5),
279-295 (1997)
12. Jr., T.W.P., Guy, R.G., Heidemann, J.S., Popek, G.J., Mak, W., Rothmeier, D.:
Management of Replicated Volume Location Data in the Ficus Replicated File
System. In: USENIX Summer, pp. 17-30 (1991)
13. Allchin, J.E.: A Suite of Robust Algorithms For Maintaining Replicated Data Us-
ing Weak Consistency Conditions. In: Symposium on Reliability in Distributed
Software and Database Systems, pp. 47-56 (1983)
14. Fischer, M.J., Michael, A.: Sacrificing Serializability to Attain High Availability of
Data. In: PODS, pp. 70-75 (1982)
15. Oppen, D.C., Dalal, Y.K.: The clearinghouse: A decentralized agent for locating
named objects in a distributed environment. ACM Trans. Inf. Syst. 1(3), 230-253
(1983)
16. Lin, S., Pan, A., Guo, R., Zhang, Z.: Simulating Large-Scale P2P Systems with the
WiDS Toolkit. In: MASCOTS, pp. 415-424. IEEE Computer Society, Los Alamitos
(2005)