{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:59:53Z","timestamp":1725494393142},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766261"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76627-8_23","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T15:44:09Z","timestamp":1194277449000},"page":"296-310","source":"Crossref","is-referenced-by-count":7,"title":["Global Predicate Detection in Distributed Systems with Small Faults"],"prefix":"10.1007","author":[{"given":"Felix C.","family":"Freiling","sequence":"first","affiliation":[]},{"given":"Arshad","family":"Jhumka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-57271-6_35","volume-title":"WDAG 1993","author":"E. Anagnostou","year":"1993","unstructured":"Anagnostou, E., Hadzilacos, V.: Tolerating transient and permanent failures. In: Schiper, A. (ed.) WDAG 1993. LNCS, vol.\u00a0725, pp. 174\u2013188. Springer, Heidelberg (1993)"},{"key":"23_CR2","first-page":"55","volume-title":"Distributed Systems","author":"\u00d6. Babao\u011flu","year":"1993","unstructured":"Babao\u011flu, \u00d6., Marzullo, K.: Consistent global states of distributed systems: Fundamental concepts and mechanisms. In: Mullender, S. (ed.) Distributed Systems, 2nd edn. ch.\u00a04, pp. 55\u201396. Addison-Wesley, Reading (1993)","edition":"2"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/BFb0056474","volume-title":"DISC 1998","author":"J. Beauquier","year":"1998","unstructured":"Beauquier, J., Dela\u00ebt, S., Dolev, S., Tixeuil, S.: Transient fault detectors. In: Kutten, S. (ed.) DISC 1998. LNCS, vol.\u00a01499, pp. 62\u201374. Springer, Heidelberg (1998)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Beauquier, J., Kekkonen-Moneta, S.: On FTSS-solvable distributed problems. In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 21\u201324 August,1997 Santa Barbara, California, p. 290 (1997)","DOI":"10.1145\/259380.259515"},{"issue":"2","key":"23_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM\u00a043(2), 225\u2013267 (1996)","journal-title":"Journal of the ACM"},{"key":"23_CR6","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1006\/jpdc.2001.1827","volume":"62","author":"S. Dela\u00ebt","year":"2002","unstructured":"Dela\u00ebt, S., Tixueil, S.: Tolerating transient and intermittent failures. Journal of Parallel and Distributed Computing\u00a062, 961\u2013981 (2002)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"23_CR8","unstructured":"Freiling, F.C., Henkel, S., Widder, J.:Network synchronization in the crash-recovery model. Technical Report TR-2006-009, Department for Mathematics and Computer Science, University of Mannheim( May 2006)"},{"key":"23_CR9","unstructured":"Freiling, F.C., Jhumka, A.: Global predicate detection in distributed systems with small faults. Technical Report TR-2007-008, Department for Mathematics and Computer Science, University of Mannheim( August 2007)"},{"key":"23_CR10","first-page":"171","volume-title":"Dependable Computing Systems: Paradigms, Performance Issues and Applications","author":"F.C. Freiling","year":"2005","unstructured":"Freiling, F.C., Pleisch, S.: Predicate detection in asynchronous systems with crash failures. In: Zomaya, A.Y., Diab, H.B. (eds.) Dependable Computing Systems: Paradigms, Performance Issues and Applications, ch.\u00a07, pp. 171\u2013212. Wiley, Chichester (2005)"},{"key":"23_CR11","volume-title":"Elements of Distributed Computing","author":"V. Garg","year":"2002","unstructured":"Garg, V.: Elements of Distributed Computing. Wiley, Chichester (2002)"},{"key":"23_CR12","volume-title":"ICDCS 1998","author":"V.K. Garg","year":"1998","unstructured":"Garg, V.K., Mitchell, J.R.: Distributed predicate detection in a faulty environment. In: ICDCS 1998. Proceedings of the 18th IEEE International Conference on Distributed Computing Systems, IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/3-540-45438-1_7","volume-title":"WSS2001","author":"F.C. G\u00e4rtner","year":"2001","unstructured":"G\u00e4rtner, F.C., Pleisch, S.: ImPossibilities of predicate detection in crash-affected systems. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol.\u00a02194, pp. 98\u2013113. Springer, Heidelberg (2001)"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-36108-1_19","volume-title":"DISC 2002","author":"F.C. G\u00e4rtner","year":"2002","unstructured":"G\u00e4rtner, F.C., Pleisch, S.: Failure detection sequencers: Necessary and sufficient information about failures to solve predicate detection. In: Malkhi, D. (ed.) DISC 2002. LNCS, vol.\u00a02508, pp. 280\u2013294. Springer, Heidelberg (2002)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Gopal, A.S., Perry, K.J.: Unifying self-stabilization and fault-tolerance. In: PODC 1993. Proceedings of the 12th Annual ACM Symposium on Principles of Distributed Computing, pp. 195\u2013206. ACM Press (1993)","DOI":"10.1145\/164051.164074"},{"key":"23_CR16","volume-title":"Introduction to Reliable Distributed Programming","author":"R. Guerraoui","year":"2006","unstructured":"Guerraoui, R., Rodrigues, L.: Introduction to Reliable Distributed Programming. Springer, Heidelberg (2006)"},{"issue":"8","key":"23_CR17","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1109\/TPDS.2003.1225059","volume":"14","author":"A.D. Kshemkalyani","year":"2003","unstructured":"Kshemkalyani, A.D.: A fine-grained modality classification for global predicates. IEEE Trans. Parallel Distrib. Syst.\u00a014(8), 807\u2013816 (2003)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"23_CR18","first-page":"215","volume-title":"Proceedings of the International Workshop on Parallel and Distributed Algorithms","author":"F. Mattern","year":"1989","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, M., et al. (eds.) Proceedings of the International Workshop on Parallel and Distributed Algorithms, Chateau de Bonas, France, pp. 215\u2013226. Elsevier Science Publishers, Amsterdam (1989). Reprinted on pages 123\u2013133 in [20]"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Nesterenko, M., Arora, A.: Dining philosophers that tolerate malicious crashes. In: Proc. ICDCS, pp. 191\u2013198 (2002)","DOI":"10.1109\/ICDCS.2002.1022256"},{"volume-title":"Global States and Time in Distributed Systems","year":"1994","key":"23_CR20","unstructured":"Yang, Z., Marsland, T.A. (eds.): Global States and Time in Distributed Systems. IEEE Computer Society Press, Los Alamitos (1994)"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76627-8_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:55:25Z","timestamp":1619520925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76627-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540766261"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76627-8_23","relation":{},"subject":[]}}