{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:17Z","timestamp":1725486557529},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429128"},{"type":"electronic","value":"9783540456278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45627-9_13","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T15:57:04Z","timestamp":1181663824000},"page":"160-170","source":"Crossref","is-referenced-by-count":2,"title":["Model Checking Communication Protocols"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Arg\u00f3n","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Delzanno","sequence":"additional","affiliation":[]},{"given":"Supratik","family":"Mukhopadhyay","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Podelski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,24]]},"reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"D. Brand and P. Zafiropulo. On communicating finite-state machines. JACM, 30(2):323\u2013342, April 1983.","journal-title":"JACM"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"W. Charatonik and A. Podelski. Set-based analysis of reactive infinite-state systems.InB. Steffen, editor, Proceedings of the First International Conference onTools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag, March\u2013April 1998. To appear.","DOI":"10.1007\/BFb0054183"},{"key":"13_CR3","series-title":"Technical Report","volume-title":"Model checking infinite-state concurrent systemsin clp","author":"G. Delzanno","year":"1998","unstructured":"G. Delzanno and A. Podelski. Model checking infinite-state concurrent systemsin clp. Technical Report MPI-I-98-2-012, Max Planck Institut fuer Informatik, Saarbruecken, July 1998."},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of theOperational Behaviour of LogicLanguages. Theoretical Comput. Sci., 69(3):289\u2013318, 1989.","journal-title":"Theoretical Comput. Sci."},{"key":"13_CR5","series-title":"Technical report","volume-title":"Concurrent constraint automata","author":"L. Fribourg","year":"1993","unstructured":"L. Fribourg and M. V. Peixoto. Concurrent constraint automata. Technical report, Laboratoire d\u2019Informatique Ecole Nationale Superieure, Paris, May 1993."},{"key":"13_CR6","unstructured":"G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, November 1991."},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Efficient model checking using tabled resolution","author":"Y. S. Ramakrishna","year":"1997","unstructured":"Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, T. Swift, and D. S. Warren. Efficient model checking using tabled resolution. InO. Grumberg, editor, Proceedings of the 9th International Conference on ComputerAided Verification (CAV\u2019 97), LNCS 1254. Springer, Haifa, Israel, July 1997."},{"key":"13_CR8","unstructured":"H. Rudin, C. H. West, and P. Zafiropulo. Automated protocol validation: Onechain of development. In Proc Computer Network Protocols, pages F4\u20131\u2013F4\u20136, February 1978."},{"issue":"4","key":"13_CR9","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1147\/rd.224.0393","volume":"22","author":"C. H. West","year":"1978","unstructured":"C. H. West. General technique for communications protocol validation. IBM Journal of Res. and Dev., 22(4):393\u2013404, July 1978.","journal-title":"IBM Journal of Res. and Dev."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"C. H. West. Protocol validation in complex systems. In Proceedings of 8th ACMSymposium on Principles of Distributed Computing, pages 303\u2013312, 1989.","DOI":"10.1145\/75246.75276"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2001: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45627-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T09:47:31Z","timestamp":1550396851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45627-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429128","9783540456278"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45627-9_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}