{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:23:20Z","timestamp":1725459800743},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540530487"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039052","type":"book-chapter","created":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T14:58:08Z","timestamp":1138719488000},"page":"70-82","source":"Crossref","is-referenced-by-count":1,"title":["Convergence of iteration systems"],"prefix":"10.1007","author":[{"given":"Anish","family":"Arora","sequence":"first","affiliation":[]},{"given":"Paul","family":"Attie","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Evangelist","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Gouda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"M.A. Arbib, Brains, Machines and Mathematics, Springer-Verlag, 1987.","DOI":"10.1007\/978-1-4612-4782-1"},{"key":"7_CR2","unstructured":"A. Arora, P. Attie, M. Evangelist and M. Gouda, \u201cConvergence of Iteration Systems\u201d, submitted for publication in Distributed Computing (Special Issue on Self-Stabilization)."},{"key":"7_CR3","unstructured":"J.E. Burns, M.G. Gouda, and R.E. Miller, \u201cOn relaxing interleaving assumptions\u201d, Proceedings of the MCC Workshop on Self-Stabilizing Systems, MCC Technical Report #STP-379-89."},{"issue":"6","key":"7_CR4","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/12.24293","volume":"38","author":"G.M. Brown","year":"1989","unstructured":"G.M. Brown, M.G. Gouda, and C.-L. Wu, \u201cToken Systems that Self-Stablize\u201d, IEEE Transactions on Computers 38(6), pp. 845\u2013852, 1989.","journal-title":"IEEE Transactions on Computers"},{"key":"7_CR5","unstructured":"D.P. Bertsekas and J.N. Tsitsiklis, Parallel and Distributed Computation, Prentice-Hall, 1989."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley Publishing, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra, EWD306 \u201cThe Solution to a Cyclic Relaxation Problem\u201d, 1973. Reprinted in Selected Writing on Computing: A Personal Perspective, Springer-Verlag, pp. 34\u201335, 1982.","DOI":"10.1007\/978-1-4612-5695-3_5"},{"issue":"11","key":"7_CR8","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1973","unstructured":"E.W. Dijkstra, \u201cSelf-stabilizing Systems in Spite of Distributed Control\u201d, Communications of the ACM 17(11), pp. 643\u2013644, 1973.","journal-title":"Communications of the ACM"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"D.Gries, The Science of Programming, Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"7_CR10","unstructured":"M.G. Gouda and M. Evangelist, \u201cConvergence Response Tradeoffs in Concurrent Systems\u201d, MCC Technical Report #STP-124-89; also submitted to ACM TOPLAS."},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0019-9958(85)80014-0","volume":"66","author":"O. Grumberg","year":"1985","unstructured":"O. Grumberg, N. Francez, J.A. Makovsky and W.P. deRoever, \u201cA proof rule for fair termination of guarded commands\u201d, Information and Control 66, pp. 83\u2013102, 1985.","journal-title":"Information and Control"},{"key":"7_CR12","unstructured":"F. Harary, Graph Theory, Addison-Wesley Publishing, 1972."},{"key":"7_CR13","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall International, 1985."},{"key":"7_CR14","unstructured":"T. Kohonen, Self-Organization and Associative Memory, Springer-Verlag, 1984."},{"key":"7_CR15","unstructured":"H.T. Kung and C.E. Leiserson, \u201cSystolic Arrays (for VLSI),\u201d in Sparse Matrix Proc., 1978."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"N.A. Lynch, \u201cI\/O Automata: A Model for Discrete Event Systems,\u201d Proc. of 22nd Annual Conference on Information Sciences and Systems, 1988.","DOI":"10.21236\/ADA196047"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"F. Robert, Discrete Iterations \u2014 A Metric Study, Springer-Verlag, 1986.","DOI":"10.1007\/978-3-642-61607-5"},{"key":"7_CR18","unstructured":"S. Wolfram, Theory and Applications of Cellular Automata, Advanced Series on Complex Systems, Vol.1, World Scientific Publishing, 1986."}],"container-title":["Lecture Notes in Computer Science","CONCUR '90 Theories of Concurrency: Unification and Extension"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039052.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T10:27:52Z","timestamp":1683368872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540530487"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0039052","relation":{},"subject":[]}}