{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:29:27Z","timestamp":1742387367004},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226673"},{"type":"electronic","value":"9783540278603"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27860-3_5","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T21:38:30Z","timestamp":1284586710000},"page":"20-33","source":"Crossref","is-referenced-by-count":4,"title":["Detecting Locally Stable Predicates Without Modifying Application Messages"],"prefix":"10.1007","author":[{"given":"Ranganath","family":"Atreya","sequence":"first","affiliation":[]},{"given":"Neeraj","family":"Mittal","sequence":"additional","affiliation":[]},{"given":"Vijay K.","family":"Garg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed Snapshots: Determining Global States of Distributed Systems. ACM Transactions on Computer Systems\u00a03, 63\u201375 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0020-0190(87)90125-6","volume":"25","author":"T.H. Lai","year":"1987","unstructured":"Lai, T.H., Yang, T.H.: On Distributed Snapshots. Information Processing Letters (IPL)\u00a025, 153\u2013158 (1987)","journal-title":"Information Processing Letters (IPL)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"H\u00e9lary, J.M., Jard, C., Plouzeau, N., Raynal, M.: Detection of Stable Properties in Distributed Applications. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), pp. 125\u2013136 (1987)","DOI":"10.1145\/41840.41851"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0020-0190(92)90107-7","volume":"44","author":"A. Acharya","year":"1992","unstructured":"Acharya, A., Badrinath, B.R.: Recording Distributed Snapshots Based on Causal Order of Message Delivery. Information Processing Letters (IPL)\u00a044, 317\u2013321 (1992)","journal-title":"Information Processing Letters (IPL)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0020-0190(94)00055-7","volume":"50","author":"S. Alagar","year":"1994","unstructured":"Alagar, S., Venkatesan, S.: An Optimal Algorithm for Recording Snapshots using Casual Message Delivery. Information Processing Letters (IPL)\u00a050, 311\u2013316 (1994)","journal-title":"Information Processing Letters (IPL)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/TSE.1982.235884","volume":"8","author":"G.S. Ho","year":"1982","unstructured":"Ho, G.S., Ramamoorthy, C.V.: Protocols for Deadlock Detection in Distributed Database Systems. IEEE Transactions on Software Engineering\u00a08, 554\u2013557 (1982)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Misra, J.: Detecting Termination of Distributed Computations Using Markers. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), pp. 290\u2013294 (1983)","DOI":"10.1145\/800221.806729"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01782776","volume":"2","author":"F. Mattern","year":"1987","unstructured":"Mattern, F.: Algorithms for Distributed Termination Detection. Distributed Computing (DC)\u00a02, 161\u2013175 (1987)","journal-title":"Distributed Computing (DC)"},{"key":"5_CR9","unstructured":"Dijkstra, E.W.: Shmuel Safra\u2019s Version of Termination Detection. EWD Manuscript 998 (1987), Available at http:\/\/www.cs.utexas.edu\/users\/EWD"},{"key":"5_CR10","unstructured":"Mattern, F., Mehl, H., Schoone, A., Tel, G.: Global Virtual Time Approximation with Distributed Termination Detection Algorithms. Technical Report RUU-CS- 91-32, University of Utrecht, The Netherlands (1991)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BF02277858","volume":"7","author":"J.M. H\u00e9lary","year":"1994","unstructured":"H\u00e9lary, J.M., Raynal, M.: Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. Distributed Computing (DC)\u00a07, 137\u2013147 (1994)","journal-title":"Distributed Computing (DC)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1006\/jpdc.1995.1150","volume":"31","author":"J. Brzezinski","year":"1995","unstructured":"Brzezinski, J., H\u00e9lary, J.M., Raynal, M., Singhal, M.: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. Journal of Parallel and Distributed Computing (JPDC)\u00a031, 112\u2013125 (1995)","journal-title":"Journal of Parallel and Distributed Computing (JPDC)"},{"key":"5_CR13","unstructured":"Demirbas, M., Arora, A.: An Optimal Termination Detection Algorithm for Rings. Technical Report OSU-CISRC-2\/00-TR05, The Ohio State University (2000)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Stupp, G.: Stateless Termination Detection. In: Proceedings of the 16th Symposium on Distributed Computing (DISC), Toulouse, France, pp. 163\u2013172 (2002)","DOI":"10.1007\/3-540-36108-1_11"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Khokhar, A.A., Hambrusch, S.E., Kocalar, E.: Termination Detection in Data- Driven Parallel Computations\/Applications. Journal of Parallel and Distributed Computing, JPDC (2003)","DOI":"10.1016\/S0743-7315(03)00014-5"},{"key":"5_CR16","unstructured":"Mahapatra, N.R., Dutt, S.: An Efficient Delay-Optimal Distributed Termination Detection Algorithm. Submitted to IEEE Transactions on Parallel and Distributed Systems (2003)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF02280830","volume":"8","author":"K. Marzullo","year":"1994","unstructured":"Marzullo, K., Sabel, L.: Efficient Detection of a Class of Stable Properties. Distributed Computing (DC)\u00a08, 81\u201391 (1994)","journal-title":"Distributed Computing (DC)"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM (CACM)\u00a021, 558\u2013565 (1978)","journal-title":"Communications of the ACM (CACM)"},{"key":"5_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168724","volume-title":"Introduction to Distributed Algorithms","author":"G. Tel","year":"2000","unstructured":"Tel, G.: Introduction to Distributed Algorithms, 2nd edn. Cambridge University Press, Cambridge (2000) (US Server)","edition":"2"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Fromentin, E., Raynal, M.: Inevitable Global States: A Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way. In: Proceedings of the 6th IEEE Symposium on Parallel and Distributed Processing (SPDP), pp. 242\u2013248 (1994)","DOI":"10.1109\/SPDP.1994.346161"},{"key":"5_CR21","unstructured":"Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Parallel and Distributed Algorithms: Proceedings of the Workshop on Distributed Algorithms (WDAG), pp. 215\u2013226. Elsevier Science Publishers B. V, North-Holland (1989)"},{"key":"5_CR22","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C. Fidge","year":"1991","unstructured":"Fidge, C.: Logical Time in Distributed Computing Systems. IEEE Computer\u00a024, 28\u201333 (1991)","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27860-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:24:30Z","timestamp":1605759870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27860-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226673","9783540278603"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27860-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}