{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:09Z","timestamp":1725663069232},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167617"},{"type":"electronic","value":"9783540398592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16761-7_84","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:52:03Z","timestamp":1330195923000},"page":"344-358","source":"Crossref","is-referenced-by-count":24,"title":["A new approach to detection of locally indicative stability"],"prefix":"10.1007","author":[{"given":"Nir","family":"Shavit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nissim","family":"Francez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"36_CR1","series-title":"Tech. Rep.","volume-title":"Real time clocks versus virtual clocks","author":"K.R. Apt","year":"1984","unstructured":"Apt, K.R. and Richier, J-L., Real time clocks versus virtual clocks, Tech. Rep. 83-84, L.I.T.P., Universite Paris 7, Paris, 1984."},{"key":"36_CR2","series-title":"Tech. Rep.","volume-title":"Repeated Synchronous Snapshots and their implementation in CSP","author":"L. Bouge","year":"1984","unstructured":"Bouge, L. Repeated Synchronous Snapshots and their implementation in CSP, Tech. Rep. No. 84, L.I.T.P., Universite Paris 7, Paris, 1984."},{"key":"36_CR3","series-title":"Tech. Rep.","volume-title":"Symmetry and Genericity for CSP in distributed systems","author":"L. Bouge","year":"1985","unstructured":"Bouge, L. Symmetry and Genericity for CSP in distributed systems, Tech. Rep. No. 85-32, L.I.T.P., Universite Paris 7, Paris, May 1985."},{"issue":"1","key":"36_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"4","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M. and Lamport, L., Distributed Snapshots: Determining the global states of distributed systems, ACM Transactions on Computer Systems, vol. 4, no. 1, pp.63\u201375, February 1985.","journal-title":"ACM Transactions on Computer Systems"},{"key":"36_CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/357153.357156","volume":"4","author":"K.M. Chandy","year":"1982","unstructured":"Chandy, K.M. and Misra, J., Termination Detection of Diffusing computations in Communicating sequential processes, ACM TOPLAS 4, pp. 37\u201342, 1982.","journal-title":"ACM TOPLAS"},{"key":"36_CR6","series-title":"Tech. Rep.","volume-title":"A paradigm for detecting quiescent properties in distributed computations","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M. and Misra, J., A paradigm for detecting quiescent properties in distributed computations, Tech. Rep. 85-02, Dept. of Comp. Sci., Univ. of Texas, Austin, Jan 1985."},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Cohen, S. and Lehmann, D. Dynamic systems and their distributed termination, Proc. Symp. on Principals of distributed Comp., Ottawa, pp. 29\u201333, 1982.","DOI":"10.1145\/800220.806678"},{"key":"36_CR8","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"Dijkstra, E.W., Feijen, W.H. and van Gasteren, A.J.M., Derivation of a termination detection algorithm for distributed computations, Inform. Processing Letters 16, pp. 217\u2013219, 1983.","journal-title":"Inform. Processing Letters"},{"key":"36_CR9","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E.W. Dijkstra","year":"1980","unstructured":"Dijkstra, E.W., and Scholten, C.S., Termination Detection for Diffusing Computations, Infor. Processing Letters 11, pp. 217\u2013219, 1980.","journal-title":"Infor. Processing Letters"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Eriksen O., Skyum S., Symmetric Distributed Termination, Computer Science Dept., Arhus Univ., Ny Munkegade, DK-8000, Aarhus C, Denmark, 1984.","DOI":"10.7146\/dpb.v14i189.7462"},{"issue":"1","key":"36_CR11","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N. Francez","year":"1980","unstructured":"Francez, N., Distributed Termination, ACM-TOPLAS, Vol. 2, No. 1, pp. 42\u201355, 1980.","journal-title":"ACM-TOPLAS"},{"key":"36_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TSE.1982.235257","volume":"SE-8","author":"N. Francez","year":"1982","unstructured":"Francez, N. and Rodeh, M., Achieving Distributed Termination without Freezing, IEEE Trans. soft. Eng. SE-8, pp. 287\u2013292, 1982.","journal-title":"IEEE Trans. soft. Eng."},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Francez, N., Rodeh, M. and Sintzoff, M., Distributed Termination with Interval Assertions, Proc. Int. Colloc. Formalization of programming concepts, Peniscola, Spain, April 1981, Lecture Notes in Comp. Sci., Vol. 107, 1981.","DOI":"10.1007\/3-540-10699-5_105"},{"issue":"8","key":"36_CR14","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, CACM 21, 8, pp. 666\u2013677, 1978.","journal-title":"CACM"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Misra, J., Detecting termination of distributed computations using markers, Proc. 2nd Ann. Symp. on principals of Distributed computing, Montreal, Quebec, Canada, pp. 290\u2013294, 1983.","DOI":"10.1145\/800221.806729"},{"key":"36_CR16","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0020-0190(85)90048-1","volume":"20","author":"C. Morgan","year":"1985","unstructured":"Morgan, C., Global and logical time in distributed systems, Infor. Processing Letters 20, pp. 189\u2013194, 1985.","journal-title":"Infor. Processing Letters"},{"key":"36_CR17","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0020-0190(83)90089-3","volume":"17","author":"S.P. Rana","year":"1983","unstructured":"Rana, S.P., A distributed solution to the distributed termination problem, Infor. Processing Letters 17, pp. 43\u201346, 1983.","journal-title":"Infor. Processing Letters"},{"key":"36_CR18","unstructured":"Richier, J-L., Distributed Termination In CSP \u2014 Symmetric solution with minimal storage., TR. 84-49, L.I.T.P., Universite Paris 7, Paris, 1984"},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"N. Shavit, N. Francez, A New Approach to Detection of Locally Indicative stability, Technion, Haifa, Israel, 1986.","DOI":"10.1007\/3-540-16761-7_84"},{"key":"36_CR20","unstructured":"Szymanski, B., Shi, Y., Prywes, N., Synchronized Distributed Termination, Preliminary version presented in Proc. Symp. on Principals of distributed Comp., Minacki, Canada, pp. 29\u201333, 1985."},{"key":"36_CR21","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0020-0190(84)90071-1","volume":"18","author":"R.W. Topor","year":"1984","unstructured":"Topor, R.W., Termination Detection for Distributed Computations, Infor. Processing Letters 18, pp. 33\u201336, 1984.","journal-title":"Infor. Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16761-7_84.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:44:18Z","timestamp":1687283058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16761-7_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167617","9783540398592"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-16761-7_84","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}