{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:40:54Z","timestamp":1725550854593},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_10","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:04Z","timestamp":1269897124000},"page":"128-143","source":"Crossref","is-referenced-by-count":2,"title":["Simple Representative Instantiations for Multicast Protocols"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Maidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"10_CR1","unstructured":"B\u00e9rard, B., Bouyer, P. and Petit, A. Analysing the PGM protocol with UPPAAL. In: 2nd Workshop on Real-Time Tools. Dep. Information Technology, Uppsala Univ., 2002, Tech. Report 2002-025."},{"key":"10_CR2","first-page":"115","volume":"59","author":"M. C. Browne","year":"1988","unstructured":"Browne, M. C., Clarke, E. and Grumberg, O. Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science, 59: 115\u2013131, 1988.","journal-title":"Characterizing finite Kripke structures in propositional temporal logic"},{"key":"10_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Extrapolating tree transformations","author":"A. Bouajjani","year":"2002","unstructured":"Bouajjani, A. and Touili, T. Extrapolating tree transformations. In: Proc. 14th Intl. Conf. on Computer Aided Verification. 2002, LNCS 2404."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Esparza, J. and Maidl, M. Simple representative instantiations for multicast protocols, 2002. Available at http:\/\/www.dcs.ed.ac.uk\/monika .","DOI":"10.1007\/3-540-36577-X_10"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Emerson, E. A. and Namjoshi, K. S. Reasoning about rings. In: Proc. 22th ACM Conf. on Principles of Programming Languages. 1995.","DOI":"10.1145\/199448.199468"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"O. Grumberg","year":"1994","unstructured":"Grumberg, O. and Long, D. E. Model checking and modular verification. TOPLAS, 16(3): 843\u2013871, 1994.","journal-title":"TOPLAS"},{"key":"10_CR7","unstructured":"Lamport, L. What good is temporal logic? In: Proc. IFIP 9th World Computer Congress. 1983."},{"key":"10_CR8","unstructured":"Maidl, M. Simple representative instantiations for the PGM protocol, 2002. Available at http:\/\/www.dcs.ed.ac.uk\/monika ."},{"key":"10_CR9","unstructured":"Papadopoulos, C., Parulkar, G. and Varghese, G. LMS: A router assisted scheme for reliable multicast. To appear in: IEEE\/ACM Transactions on Networking."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0020-0190(97)00133-6","volume":"63","author":"D. Peled","year":"1997","unstructured":"Peled, D. and Wilke, T. Stutter-invariant temporal properties are expressible without the next-operator. Information Processing Letters, 63: 243\u2013246, 1997.","journal-title":"Information Processing Letters"},{"key":"10_CR11","unstructured":"Speakman, T. et al. PGM reliable transport protocol specification, 2000. RFC 3208 (experimental) of the IETF. Available at: http:\/\/www.ietf.org\/rfc.html ."}],"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-36577-X_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:49:57Z","timestamp":1558982997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}