{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:09:17Z","timestamp":1725566957807},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304951"},{"type":"electronic","value":"9783540324195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11590156_34","type":"book-chapter","created":{"date-parts":[[2005,12,5]],"date-time":"2005-12-05T15:43:16Z","timestamp":1133797396000},"page":"420-431","source":"Crossref","is-referenced-by-count":3,"title":["Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems"],"prefix":"10.1007","author":[{"given":"Sathya","family":"Peri","sequence":"first","affiliation":[]},{"given":"Neeraj","family":"Mittal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_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":"34_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":"34_CR3","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":"34_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E.W. Dijkstra","year":"1980","unstructured":"Dijkstra, E.W., Scholten, C.S.: Termination Detection for Diffusing Computations. Information Processing Letters (IPL)\u00a011, 1\u20134 (1980)","journal-title":"Information Processing Letters (IPL)"},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N. Francez","year":"1980","unstructured":"Francez, N.: Distributed Termination. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a02, 42\u201355 (1980)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"34_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":"34_CR7","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"K.M. Chandy","year":"1983","unstructured":"Chandy, K.M., Misra, J., Haas, L.M.: Distributed Deadlock Detection. ACM Transactions on Computer Systems\u00a01, 144\u2013156 (1983)","journal-title":"ACM Transactions on Computer Systems"},{"key":"34_CR8","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":"34_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF02280831","volume":"8","author":"A. Schiper","year":"1994","unstructured":"Schiper, A., Sandoz, A.: Strong Stable Properties in Distributed Systems. Distributed Computing (DC)\u00a08, 93\u2013103 (1994)","journal-title":"Distributed Computing (DC)"},{"key":"34_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-27860-3_5","volume-title":"Principles of Distributed Systems","author":"R. Atreya","year":"2003","unstructured":"Atreya, R., Mittal, N., Garg, V.K.: Detecting Locally Stable Predicates without Modifying Application Messages. In: Papatriantafilou, M., Hunel, P. (eds.) OPODIS 2003. LNCS, vol.\u00a03144, pp. 20\u201333. Springer, Heidelberg (2003)"},{"key":"34_CR11","unstructured":"distributed.net (2005), http:\/\/www.distributed.net\/projects.php"},{"key":"34_CR12","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/0743-7315(86)90015-8","volume":"3","author":"T.H. Lai","year":"1986","unstructured":"Lai, T.H.: Termination Detection for Dynamic Distributed Systems with Non- First-In-First-Out Communication. Journal of Parallel and Distributed Computing (JPDC)\u00a03, 577\u2013599 (1986)","journal-title":"Journal of Parallel and Distributed Computing (JPDC)"},{"key":"34_CR13","doi-asserted-by":"publisher","first-page":"2025","DOI":"10.1016\/S0167-8191(96)00068-3","volume":"22","author":"D.M. Dhamdhere","year":"1997","unstructured":"Dhamdhere, D.M., Iyer, S.R., Reddy, E.K.K.: Distributed Termination Detection for Dynamic Systems. Parallel Computing\u00a022, 2025\u20132045 (1997)","journal-title":"Parallel Computing"},{"key":"34_CR14","unstructured":"Wang, X., Mayo, J.: A General Model for Detecting Termination in Dynamic Systems. In: Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS), Santa Fe, New Mexico (2004)"},{"key":"34_CR15","unstructured":"Darling, D., Mayo, J.: Stable Predicate Detection in Dynamic Systems. Submitted to the Journal of Parallel and Distributed Computing (JPDC) (2003)"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Peri, S., Mittal, N.: Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems. Technical Report UTDCS-27-05, Department of Computer Science, The University of Texas at Dallas, Richardson, TX, 75083, USA (2005)","DOI":"10.1007\/11590156_34"},{"key":"34_CR17","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":"34_CR18","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/358527.358537","volume":"24","author":"G. Ricart","year":"1981","unstructured":"Ricart, G., Agrawala, A.K.: An Optimal Algorithm for Mutual Exclusion in Computer Networks. Communications of the ACM (CACM)\u00a024, 9\u201317 (1981)","journal-title":"Communications of the ACM (CACM)"},{"key":"34_CR19","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"K.M. Chandy","year":"1984","unstructured":"Chandy, K.M., Misra, J.: The Drinking Philosophers Problem. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a06, 632\u2013646 (1984)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"}],"container-title":["Lecture Notes in Computer Science","FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11590156_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:49:13Z","timestamp":1619506153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11590156_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304951","9783540324195"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11590156_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}