{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:27Z","timestamp":1725488487402},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424970"},{"type":"electronic","value":"9783540446859"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44685-0_32","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T06:16:21Z","timestamp":1186726581000},"page":"472-486","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Unavoidable Configurations of Parameterized Rings of Processes"],"prefix":"10.1007","author":[{"given":"Marie","family":"Duflot","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Fribourg","sequence":"additional","affiliation":[]},{"given":"Ulf","family":"Nilsson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,22]]},"reference":[{"key":"32_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-48683-6_14","volume-title":"Proc. CAV\u201999","author":"P.A. Abdulla","year":"1999","unstructured":"P.A. Abdulla, A. Bouajjani, B. Jonsson and M. Nilsson. \u201cHandling global conditions in parameterized system verification\u201d. Proc. CAV\u201999, LNCS 1633, Springer-Verlag, 1999, pp. 134\u2013145."},{"key":"32_CR2","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0020-0190(86)90071-2","volume":"22","author":"K.R. Apt","year":"1986","unstructured":"K.R. Apt and D.C. Kozen. \u201cLimits for automatic verification of finite-state concurrent systems\u201d. Information Processing Letters 22, 1986, pp. 307\u2013309.","journal-title":"Information Processing Letters"},{"issue":"2","key":"32_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/PL00008931","volume":"14","author":"J. Beauquier","year":"2001","unstructured":"J. Beauquier, B. B\u00e9rard, L. Fribourg and F. Magniette. \u201cProving convergence of self-stabilizing systems using first-order rewriting and regular languages\u201d. Distributed Computing 14:2, 2001, pp. 83\u201395.","journal-title":"Distributed Computing"},{"key":"32_CR4","unstructured":"J. Beauquier and O. Debas. \u201cAn optimal self-stabilizing algorithm for mutual exclusion on uniform bidirectional rings\u201d. Proc. 2nd Workshop on S elf-Stabilizing Systems, Las Vegas, 1995, pp. 226\u2013239."},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"R.V. Book and F. Otto. String-Rewriting Systems. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4613-9771-7"},{"issue":"5\u20136","key":"32_CR6","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0020-0190(00)00055-7","volume":"74","author":"A. Bouajjani","year":"2000","unstructured":"A. Bouajjani, J. Esparza, A. Finkel, O. Maler, P. Rossmanith, B. Willems and P. Wolper. \u201cAn Efficient Automata Approach to Some Problems on Context-Free Grammars\u201d. Information Processing Letters 74(5\u20136), 2000, pp. 221\u2013227.","journal-title":"Information Processing Letters"},{"key":"32_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/10722167_31","volume-title":"Proc. CAV\u201900","author":"A. Bouajjani","year":"2000","unstructured":"A. Bouajjani, B. Jonsson, M. Nilsson and T. Touili. \u201cRegular Model-Checking\u201d. Proc. CAV\u201900, LNCS 1855, Springer-Verlag, 2000, pp. 403\u2013418."},{"key":"32_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-52590-4_42","volume-title":"Proc CAAP\u201990","author":"D. Caucal","year":"1990","unstructured":"D. Caucal. \u201cOn the regular structures of prefix rewriting\u201d. Proc CAAP\u201990, Copenhagen, 1990, LNCS 431, Springer, pp. 87\u2013102."},{"key":"32_CR9","unstructured":"H. Comon, M. Dauchet, R. Gilleron, D. Lugiez, S. Tison and M. Tommasi. Tree Automata Techniques and Applications. Available on \n                    http:\/\/www.grappa.univ-lille3.fr\/tata\/\n                    \n                  ."},{"key":"32_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3-540-10843-2_36","volume-title":"Proc. ICALP","author":"N. Dershowitz","year":"1981","unstructured":"N. Dershowitz. \u201cTermination of Linear Rewriting Systems\u201d. Proc. ICALP, LNCS 115, Springer-Verlag, 1981, pp. 448\u2013458."},{"key":"32_CR11","first-page":"243","volume":"B","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. \u201cRewrite Systems\u201d. Handbook of Theoretical Computer Science, vol. B, Elsevier-MIT Press, 1990, pp. 243\u2013320.","journal-title":"Handbook of Theoretical Computer Science"},{"issue":"11","key":"32_CR12","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"E.W. Dijkstra. \u201cSelf-stabilizing systems in spite of distributed control\u201d. Comm. ACM 17:11, 1974, pp. 643\u2013644.","journal-title":"Comm. ACM"},{"key":"32_CR13","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"E.W. Dijkstra, W.H.J Feijen and A.J.M. van Gasteren. \u201cDerivation of a Termination Detection Algorithm for Distributed Computations\u201d. Information Processing Letters, vol. 16, 1983, pp. 217\u2013219.","journal-title":"Information Processing Letters"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"S. Dolev. Self-Stabilization. MIT-Press, 2000.","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"32_CR15","unstructured":"M. Duflot, L. Fribourg and U. Nilsson. Unavoidable Configurations of Parameterized Rings of Processes. Research Report LSV-00-10, ENS de Cachan, Nov. 2000. (Available on \n                    http:\/\/www.lsv.ens-cachan.fr\/fribourg\/publis.html\n                    \n                  )"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"L. Fribourg and H. Ols\u00e9n. \u201cReachability sets of parametrized rings as regular languages\u201d. Proc. 2nd Int. Workshop on Verification of Infinite State Systems (INFINITY\u201997), volume 9 of Electronical Notes in Theoretical Computer Science. Elsevier Science, 1997.","DOI":"10.1016\/S1571-0661(05)80427-X"},{"key":"32_CR17","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1145\/155183.155228","volume":"154","author":"S. Ghosh","year":"1993","unstructured":"S. Ghosh. \u201cAn Alternative Solution to a Problem on Self-Stabilization\u201d. ACM TOPLAS 15:4, 1993, pp. 735\u2013742.","journal-title":"ACM TOPLAS"},{"key":"32_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BFb0020439","volume-title":"Proc. 8th Workshop on Distributed Algorithms","author":"J.-H. Hoepman","year":"1994","unstructured":"J.-H. Hoepman. \u201cUniform Deterministic Self-Stabilizing Ring-Orientation on Odd-Length Rings\u201d. Proc. 8th Workshop on Distributed Algorithms, LNCS 857, Springer-Verlag. 1994, pp. 265\u2013279."},{"key":"32_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Proc. TACAS\u201900","author":"B. Jonsson","year":"2000","unstructured":"B. Jonsson and M. Nilsson. \u201cTransitive closures of regular relations for verifying infinite-state systems\u201d. Proc. TACAS\u201900, LNCS 1785, Springer-Verlag, 2000."},{"key":"32_CR20","series-title":"Lect Notes Comput Sci","first-page":"424","volume-title":"Proc. CAV\u201997","author":"Y. Kesten","year":"1997","unstructured":"Y. Kesten, O. Maler, M. Marcuse, A. Pnueli and E. Shahar. \u201cSymbolic Model-Checking with Rich Assertional Languages\u201d. Proc. CAV\u201997, LNCS 1254, Springer-Verlag, 1997, pp. 424\u2013435."},{"key":"32_CR21","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CAV\u201900","author":"O. Kupferman","year":"2000","unstructured":"O. Kupferman and M.Y. Vardi. \u201cAn Automata-Theoretic Approach to Reasoning about Infinite-State Systems\u201d. Proc. CAV\u201900, LNCS 1855, Springer-Verlag, 2000."},{"key":"32_CR22","doi-asserted-by":"crossref","unstructured":"D. Lesens, N. Halbwachs and P. Raymond. \u201cAutomatic Verification of Parametrized Linear Network of Processes\u201d. Proc. POPL\u201997, Paris, 1997.","DOI":"10.1145\/263699.263747"},{"key":"32_CR23","unstructured":"G. van Noord. Fsa Utilities User Manual Version 5, 1998."},{"key":"32_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/10722167_26","volume-title":"Proc. CAV\u201900","author":"A. Pnueli","year":"2000","unstructured":"A. Pnueli and E. Shahar. \u201cLiveness and Acceleration in Parameterized Verification\u201d. Proc. CAV\u201900, LNCS 1855, Springer-Verlag, 2000, pp. 328\u2013343."},{"key":"32_CR25","unstructured":"G. Tel. Introduction to Distributed Algorithms. Cambridge University Press, 1994."},{"key":"32_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BFb0028736","volume-title":"Proc. CAV\u201998","author":"P. Wolper","year":"1998","unstructured":"P. Wolper and B. Boigelot. \u201cVerifying systems with infinite but regular state spaces\u201d. Proc. CAV\u201998, LNCS 1427, Springer-Verlag, 1998, pp. 88\u201397."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2001 \u2014 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44685-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:05:51Z","timestamp":1558260351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44685-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424970","9783540446859"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44685-0_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"22 August 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}