{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T15:10:28Z","timestamp":1740841828221,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_20","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"338-358","source":"Crossref","is-referenced-by-count":1,"title":["Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates"],"prefix":"10.1007","author":[{"given":"Yuechen","family":"Qian","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","first-page":"93","volume-title":"Proc. of International ITEA Workshop on Virtual Home Environments","author":"Y. Qian","year":"2002","unstructured":"Qian, Y., Udink, R., Feijs, L.M.G.: A photo management system for future home environments. In: Proc. of International ITEA Workshop on Virtual Home Environments, pp. 93\u2013101. Shaker, Aachen (2002)"},{"key":"20_CR2","unstructured":"van Loenen, E., de Jong, N., Dijk, E., van den Hoven, E., Qian, Y., Teixeira, D.: Phenom. In: Aarts, E., Marzanon, S. (eds.) The New Everyday, Views on Ambient Intelligence, pp. 302\u2013303. Koninklijke Philips Electronics N.V. 010 Publishers (2003)"},{"issue":"6","key":"20_CR3","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1109\/69.824602","volume":"11","author":"E. Pitoura","year":"1999","unstructured":"Pitoura, E., Bhargava, B.: Data Consistency in Intermittently Connected Distributed Systems. Knowledge and Data Engineering\u00a011(6), 896\u2013915 (1999)","journal-title":"Knowledge and Data Engineering"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Kistler, J.J., Satyanarayanan, M.: Disconnected Operation in the Coda File System. In: Proc. 13th ACM Symp. on Operating Systems Principles, vol.\u00a025(5), pp. 213\u2013225 (1991)","DOI":"10.1145\/121133.121166"},{"key":"20_CR5","unstructured":"Pierce, B.C.: Unison File Synchronizor, http:\/\/www.cis.upenn.edu\/~bcpierce\/unison\/"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Balasubramaniam, S., Pierce, B.C.: What is a File Synchronizer? CSCI Technical Report #507. Indiana University (1998)","DOI":"10.1145\/288235.288261"},{"key":"20_CR7","unstructured":"Ramsey, N., Csirmaz, E.: An algebraic approach to file synchronization. Technical Report TR-05-01, Harvard University, Dept. of Computer Science (May 2001)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Kumar, P., Satyanarayanan, M.: Log-Based Directory Resolution in the Coda File System. In: Proc. 2nd International Conference on Parallel and Distributed Information Systems, pp. 202\u2013213 (1993)","DOI":"10.1109\/PDIS.1993.253092"},{"key":"20_CR9","unstructured":"Reiher, P., Heidemann, J., Ratner, D., Skinner, G., Popek, G.J.: Resolving File Conflicts in the Ficus File System. In: Proc. USENIX Summer Conference, pp. 183\u2013195 (1994)"},{"key":"20_CR10","unstructured":"Guy, G.R., Heidemann, J.S., Mak, W., Page, T.W., Popek, G.J., Rothmeier, D.: Implementation of the Ficus Replicated File System. In: Proc. USENIX Summer Conference, CA, USA, June 1990, pp. 63\u201371 (1990)"},{"issue":"3","key":"20_CR11","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/TSE.1983.236733","volume":"9","author":"D.S. Parker","year":"1983","unstructured":"Parker, D.S., Popek, G.J., Rudisin, G., Stoughton, A., Walker, B., Walton, E., Chow, J., Edwards, D., Kieser, S., Kline, C.: Detection of Mutual Inconsistency in Distributed Systems. IEEE Trans. Software Engineering\u00a09(3), 240\u2013246 (1983)","journal-title":"IEEE Trans. Software Engineering"},{"issue":"3","key":"20_CR12","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/5505.5508","volume":"17","author":"S.B. Davidson","year":"1985","unstructured":"Davidson, S.B., Garcia-Molina, H., Skeen, D.: Consistency in Partitioned Networks. ACM Computing Surveys\u00a017(3), 341\u2013370 (1985)","journal-title":"ACM Computing Surveys"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Terry, D.B., Theimer, M.M., Petersen, K., Demers, A.N., Spreitzer, M.J., Hauser, C.H.: Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. In: Proc. 15th Symp. on Operating Systems Principles, pp. 172\u2013183 (1995)","DOI":"10.1145\/224057.224070"},{"key":"20_CR14","unstructured":"Qian, Y., Feijs, L.M.G., Udink, R.: Characteristic-entry logs in the MemorySafe Information System. In: Proc. 14th IASTED International Conference on Parallel and Distributed Computing and Systems, pp. 185\u2013190. ACTA Press (2002)"},{"key":"20_CR15","volume-title":"Concurrency control in distributed database systems","author":"W. Cellary","year":"1988","unstructured":"Cellary, W., Gelenbe, E., Morzy, T.: Concurrency control in distributed database systems. North-Holland, Amsterdam (1988)"},{"key":"20_CR16","volume-title":"The Z Notation: a reference manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: a reference manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"20_CR17","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"20_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate calculus and program semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.: Predicate calculus and program semantics. Springer, Heidelberg (1990)"},{"key":"20_CR19","volume-title":"Z: An Introduction to Formal Methods","author":"A. Diller","year":"1990","unstructured":"Diller, A.: Z: An Introduction to Formal Methods. John Wiley & Sons, Chichester (1990)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T14:26:24Z","timestamp":1740839184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}