{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:44Z","timestamp":1725455444562},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540167838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016283","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:39:17Z","timestamp":1131860357000},"page":"564-572","source":"Crossref","is-referenced-by-count":1,"title":["Model and complexity of termination for distributed computations"],"prefix":"10.1007","author":[{"given":"Brigitte","family":"Rozoy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"54_CR1","unstructured":"K.R. APT Correctness proofs of distributed termination algorithms. Tech. Report. 84-51. LITP \u2014 Universit\u00e9 Paris VII, 1984."},{"key":"54_CR2","unstructured":"K. APT \u2014 J.L. RICHIER Real time clocks versus virtual clocks. T.R. 84-34. LITP \u2014 Universit\u00e9 Paris."},{"key":"54_CR3","unstructured":"L. BOUGE Symetric election in CSP. T.R. 84-31. LITP \u2014 Universit\u00e9 Paris."},{"issue":"5","key":"54_CR4","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"E.W. DIJKSTRA \u2014 W.H. FEIJEN \u2014 A.J.M. Van GASTEREN Derivation of a termination detection algorithm for distributed computations. Inf. Proc. Letters 16,5 (1983) 217\u2013219.","journal-title":"Inf. Proc. Letters"},{"issue":"1","key":"54_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E.W. Dijkstra","year":"1980","unstructured":"E.W. DIJKSTRA \u2014 C.S. SCHOLTEN Termination detection for diffusing computations. Inf. Proc. Letters 11,1 (1980) 1\u20134.","journal-title":"Inf. Proc. Letters"},{"key":"54_CR6","doi-asserted-by":"crossref","unstructured":"D. DOLEV \u2014 C. DWORK \u2014 L. STOCKMEYER On the minimal synchronism needed for distributed consensus. Proc. 24th IEEE 1983 \u2014 Symp. on found of Comput. Sc. p. 393\u2013402.","DOI":"10.1109\/SFCS.1983.41"},{"key":"54_CR7","unstructured":"D. FERMENT \u2014 B. ROZOY Possibility and impossibility of solutions for the distributed termination problem. TR 86-8 \u2014 LITP \u2014 Universit\u00e9 Paris VII."},{"issue":"1","key":"54_CR8","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N. Francez","year":"1980","unstructured":"N. FRANCEZ Distributed termination. ACM \u2014 Toplas, 2,1 \u2014 pp. 42\u201345, 1980.","journal-title":"ACM \u2014 Toplas"},{"issue":"3","key":"54_CR9","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TSE.1982.235257","volume":"8","author":"N. Francez","year":"1982","unstructured":"N. FRANCEZ \u2014 M. RODEH Achieving distributed termination without freezing. IEEE \u2014 Trans. on software Engeneering, SE \u2014 8,3 pp. 287\u2013292, 1982.","journal-title":"IEEE \u2014 Trans. on software Engeneering"},{"key":"54_CR10","unstructured":"P. GASTIN Synchronisation d'un syst\u00e8me asynchrone d'automates. T.R. 1986 \u2014 LITP \u2014 Universit\u00e9 Paris VII."},{"key":"54_CR11","unstructured":"M. GOUDA Distributed state exploration for protocol validation. T.R. 185 \u2014 Dpt of Comput. Sc. Univ. of Texas at Austin \u2014 1981."},{"key":"54_CR12","doi-asserted-by":"crossref","unstructured":"M.G. GOUDA \u2014 L.E. ROSIER Priority networks of communicating finite state machines. TR 83-10. University of Texas at Austin or ICALP 1984 \u2014 Lect. Notes in Comp. Sc. 172, pp. 209\u2013221.","DOI":"10.1007\/3-540-13345-3_19"},{"key":"54_CR13","unstructured":"M.G. GOUDA \u2014 E.M. GURARI T.H. LAI \u2014 L.E. ROSIER Deadlock detection in systems of communicating finite state machines. TR \u2014 University of Texas at Austin."},{"key":"54_CR14","unstructured":"C.W. LERMEN \u2014 F.B. SCHNEIDER Detecting distributed termination when processors can fail. T.R. 80\u2013449 \u2014 Cornell. University \u2014 New York."},{"key":"54_CR15","doi-asserted-by":"crossref","unstructured":"J. MISRA Detecting termination of distributed computations using markers. Proc. 2 Annual Symp. on Princ. of distr. Comput. Quebec, pp. 290\u2013294, 1983.","DOI":"10.1145\/800221.806729"},{"issue":"1","key":"54_CR16","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0020-0190(83)90089-3","volume":"17","author":"S.P. Rana","year":"1983","unstructured":"S.P. RANA A distributed solution of the distributed termination problem. Inf. Process. Letters, 17.1, 1983, pp. 43\u201346.","journal-title":"Inf. Process. Letters"},{"key":"54_CR17","unstructured":"J.L. RICHIER Distributed termination in CSP. Symetric solutions with minimal storage. TR. 84\u201389 \u2014 LITP \u2014 Univ. Paris VII."},{"key":"54_CR18","unstructured":"B. ROZOY Detection de la terminiaison dans les r\u00e9seaux distribu\u00e9s. TR. 1986 \u2014 Universit\u00e9 de Paris VII \u2014 LITP \u2014"},{"key":"54_CR19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0020-0190(84)90071-1","volume":"18","author":"R. Topor","year":"1984","unstructured":"R. TOPOR Detecting termination for distributed computation. Inf. Proc. Lett. 18, 1984 \u2014 pp. 33\u201336.","journal-title":"Inf. Proc. Lett."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016283.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:36:01Z","timestamp":1607549761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016283"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540167838"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0016283","relation":{},"subject":[]}}