{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:53:07Z","timestamp":1743065587952,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642104442"},{"type":"electronic","value":"9783642104459"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10445-9_21","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:06:08Z","timestamp":1257318368000},"page":"414-436","source":"Crossref","is-referenced-by-count":1,"title":["DSF: A Common Platform for Distributed Systems Research and Development"],"prefix":"10.1007","author":[{"given":"Chunqiang","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Chandra, T., Griesemer, R., Redstone, J.: Paxos Made Live\u2014An Engineering Perspective. In: PODC (2007)","DOI":"10.1145\/1281100.1281103"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Srinivasan, H.: Deterministic replay of Java multithreaded applications. In: Proceedings of the SIGMETRICS symposium on Parallel and distributed tools (1998)","DOI":"10.1145\/281035.281041"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Dunlap, G.W., King, S.T., Cinar, S., Basrai, M.A., Chen, P.M.: ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay. In: OSDI (2002)","DOI":"10.1145\/1060289.1060309"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O. Edelstein","year":"2002","unstructured":"Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded Java program test generation. IBM Systems Journal\u00a041(1), 111\u2013125 (2002)","journal-title":"IBM Systems Journal"},{"issue":"3","key":"21_CR5","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"E. Elnozahy","year":"2002","unstructured":"Elnozahy, E., Alvisi, L., Wang, Y., Johnson, D.: A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys (CSUR)\u00a034(3), 375\u2013408 (2002)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11407386_10","volume-title":"Software Engineering and Middleware","author":"P. Garc\u00eda","year":"2005","unstructured":"Garc\u00eda, P., Pairot, C., Mond\u00e9jar, R., Pujol, J., Tejedor, H., Rallo, R.: Planetsim: A new overlay network simulation framework. In: Gschwind, T., Mascolo, C. (eds.) SEM 2004. LNCS, vol.\u00a03437, pp. 123\u2013136. Springer, Heidelberg (2005)"},{"key":"21_CR7","unstructured":"Geels, D., Altekar, G., Shenker, S., Stoica, I.: Replay Debugging for Distributed Applications. In: USENIX (2006)"},{"key":"21_CR8","unstructured":"Guo, Z., Wang, X., Tang, J., Liu, X., Xu, Z., Wu, M., Kaashoek, F., Zhang, Z.: R2: An Application-Level Kernel for Record and Replay. In: OSDI (2008)"},{"key":"21_CR9","unstructured":"IBM WebSphere Extended Deployment, http:\/\/www-306.ibm.com\/software\/webservers\/appserv\/extend\/"},{"key":"21_CR10","unstructured":"Jones, M., Dunagan, J.: Engineering Realities of Building a Working Peer-to-Peer System. Technical report, MSR Technical Report MSR-TR-2004-54 (2004)"},{"key":"21_CR11","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (2002)"},{"key":"21_CR12","unstructured":"Lin, S., Pan, A., Zhang, Z., Guo, R., Guo, Z.: WiDS: an Integrated Toolkit for Distributed System Development. In: HotOS (2005)"},{"key":"21_CR13","unstructured":"Liu, X., Lin, W., Pan, A., Zhang, Z.: WiDS Checker: Combating Bugs in Distributed Systems. In: NSDI (2007)"},{"key":"21_CR14","unstructured":"Rodriguez, A., Killian, C., Bhat, S., Kostic, D., Vahdat, A.: MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks. In: NSDI (2004)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Saito, Y.: Jockey: a user-space library for record-replay debugging. In: Proceedings of the sixth international symposium on Automated analysis-driven debugging (2005)","DOI":"10.1145\/1085130.1085139"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Segall, Z., Vrsalovic, D., Siewiorek, D., Yaskin, D., Kownacki, J., Varton, J., Dancey, R., Robinson, A., Lin, T.: FIAT\u2013Fault injection based automated testing environment. In: Proc. 18th Int. Symp. Fault-Tolerant Comput., pp. 102\u2013107 (1988)","DOI":"10.1109\/FTCS.1988.5306"},{"key":"21_CR17","unstructured":"Srinivasan, S.M., Kandula, S., Andrews, C.R., Zhou, Y.: Flashback: A lightweight extension for rollback and deterministic replay for software debugging. In: USENIX (2004)"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Stoica, I., Morris, R., Karger, D., Kaashoek, M.F., Balakrishnan, H.: Chord: A scalable peer-to-peer lookup service for internet applications. In: SIGCOMM (2001)","DOI":"10.1145\/383059.383071"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Tang, C., Steinder, M., Spreitzer, M., Pacifici, G.: A Scalable Application Placement Algorithm for Enterprise Data Centers. In: WWW (2007)","DOI":"10.1145\/1242572.1242618"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Thereska, E., Salmon, B., Strunk, J., Wachs, M., Abd-El-Malek, M., Lopez, J., Ganger, G.R.: Stardust: tracking activity in a distributed storage system. In: SIGMETRICS (2006)","DOI":"10.1145\/1140277.1140280"}],"container-title":["Lecture Notes in Computer Science","Middleware 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10445-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T01:59:36Z","timestamp":1739411976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10445-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104442","9783642104459"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10445-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}