{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:27Z","timestamp":1775053107818,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540657033","type":"print"},{"value":"9783540490593","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_6","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:56:57Z","timestamp":1194973017000},"page":"74-88","source":"Crossref","is-referenced-by-count":20,"title":["Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools"],"prefix":"10.1007","author":[{"given":"Yifei","family":"Dong","sequence":"first","affiliation":[]},{"given":"Xiaoqun","family":"Du","sequence":"additional","affiliation":[]},{"given":"Y. S.","family":"Ramakrishna","sequence":"additional","affiliation":[]},{"given":"C. R.","family":"Ramakrishnan","sequence":"additional","affiliation":[]},{"given":"I. V.","family":"Ramakrishnan","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"Eugene W.","family":"Stark","sequence":"additional","affiliation":[]},{"given":"David S.","family":"Warren","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Computer Aided Verification (CAV\u2019 96)","year":"1996","unstructured":"R. Alur and T. A. Henzinger, editors. Computer Aided Verification (CAV\u2019 96), volume 1102 of Lecture Notes in Computer Science, New Brunswick, New Jersey, July 1996. Springer-Verlag."},{"key":"6_CR2","unstructured":"A. T. Chamillard, L. A. Clarke, and G. S. Avrunin. Experimental design for comparing static concurrency analysis techniques. Technical Report 96-084, Computer Science Department, University of Massachusetts at Amherst, 1996."},{"key":"6_CR3","unstructured":"E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999. To appear."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, P. M. Lewis, S. A. Smolka, and O. Sokolsky. The Concurrency Factory: A development environment for concurrent systems. In Alur and Henzinger [AH96], pages 398\u2013401.","DOI":"10.1007\/3-540-61474-5_88"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design \u2014 A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, K. McMillan, S. Campos, and V. Hartonas-GarmHausen. Symbolic model checking. In Alur and Henzinger [AH96], pages 419\u2013422.","DOI":"10.1007\/3-540-61474-5_93"},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J. C. Corbett","year":"1996","unstructured":"J. C. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering, 22(3):161\u2013180, March 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"E. M. Clarke and J. M. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4es), December 1996.","DOI":"10.1145\/242223.242257"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"D. L. Dill. The Mur\u03d5 Verification system. In Alur and Henzinger [AH96], pages 390\u2013393.","DOI":"10.1007\/3-540-61474-5_86"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"R. H. Hardin, Z. Har\u2019El, and R. P. Kurshan. COSPAN. In Alur and Henzinger [AH96], pages 423\u2013427.","DOI":"10.1007\/3-540-61474-5_94"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"G. J. Holzmann and D. Peled. The state of SPIN. In Alur and Henzinger [AH96], pages 385\u2013389.","DOI":"10.1007\/3-540-61474-5_85"},{"key":"6_CR12","unstructured":"N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"key":"6_CR13","unstructured":"R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"S. Owre, S. Rajan, J. M. Rushby, N. Shankar, and M. Srivas. PVS: Combining Specification, proof checking, and model checking. In Alur and Henzinger [AH96], pages 411\u2013414.","DOI":"10.1007\/3-540-61474-5_91"},{"key":"6_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-63166-6_16","volume-title":"Proceedings of the 9th International Conference on Computer-Aided Verification (CAV\u2019 97)","author":"Y. S. Ramakrishna","year":"1997","unstructured":"Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, T. W. Swift, and D. S. Warren. Efficient model checking using tabled resolution. In Proceedings of the 9th International Conference on Computer-Aided Verification (CAV\u2019 97), volume 1254 of Lecture Notes in Computer Science, pages 143\u2013154, Haifa, Israel, July 1997. Springer-Verlag."},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/3-540-63141-0_2","volume-title":"Proceedings of the Eighth International Conference on Concurrency Theory (CONCUR\u2019 97)","author":"Y. S. Ramakrishna","year":"1997","unstructured":"Y. S. Ramakrishna and S. A. Smolka. Partial-order reduction in the weak modal mu-calculus. In A. Mazurkiewicz and J. Winkowski, editors, Proceedings of the Eighth International Conference on Concurrency Theory (CONCUR\u2019 97), volume 1243 of Lecture Notes in Computer Science, pages 5\u201324, Warsaw, Poland, July 1997. Springer-Verlag."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"P. Wolper. Expressing interesting properties of programs in propositional temporal logic. In Proc. 13th ACM Symp. on Principles of Programming Languages, pages 184\u2013192, St. Petersburgh, January 1986.","DOI":"10.1145\/512644.512661"},{"key":"6_CR18","unstructured":"XSB. The XSB logic programming system v1.7, 1997. Available by anonymous ftp from ftp.cs.sunysb.edu ."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:00:27Z","timestamp":1556953227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}