{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T11:02:57Z","timestamp":1762340577542,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342806"},{"type":"electronic","value":"9783642342813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34281-3_9","type":"book-chapter","created":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T18:38:09Z","timestamp":1351535889000},"page":"87-102","source":"Crossref","is-referenced-by-count":4,"title":["Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic"],"prefix":"10.1007","author":[{"given":"Kazuhiro","family":"Ogata","sequence":"first","affiliation":[]},{"given":"Phan","family":"Thi Thanh Huyen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"9_CR2","unstructured":"Holzmann, G.J.: The SPIN Model Checker \u2013 Primer and Reference Manual. Addison-Wesley (2004)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-540-27813-9_45","volume-title":"Computer Aided Verification","author":"L. Moura de","year":"2004","unstructured":"de Moura, L., Owre, S., Rue\u00df, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: SAL 2. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 496\u2013500. Springer, Heidelberg (2004)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s00446-010-0123-3","volume":"23","author":"T. Tsuchiya","year":"2011","unstructured":"Tsuchiya, T., Schiper, A.: Verification of consensus algorithms using satisfiability solving. Distributed Computing\u00a023, 341\u2013358 (2011)","journal-title":"Distributed Computing"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"An, X., Pang, J.: Model checking round-based distributed algorithms. In: 15th IEEE ICECCS, pp. 127\u2013135. IEEE (2010)","DOI":"10.1109\/ICECCS.2010.38"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"1690","DOI":"10.1093\/ietfec\/e90-a.8.1690","volume":"E90-A","author":"K. Ogata","year":"2007","unstructured":"Ogata, K., Futatsugi, K.: Comparison of Maude and SAL by conducting case studies model checking a distributed algorithm. IEICE Trans. Fundamentals\u00a0E90-A, 1690\u20131703 (2007)","journal-title":"IEICE Trans. Fundamentals"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed system. ACM TOCS\u00a03, 63\u201375 (1985)","journal-title":"ACM TOCS"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley (1988)","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"9_CR10","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan-Kaufmann (1996)"},{"key":"9_CR11","unstructured":"Ben-Ari, M.: Principles of the Spin Model Checker. Springer (2008)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Konnov, I.: CheAPS: a checker of asynchronous parameterized systems. In: WING 2010. EPiC Series, vol.\u00a01, pp. 128\u2013129. EasyChair (2012)","DOI":"10.29007\/d336"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34281-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T21:24:28Z","timestamp":1745097868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34281-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342806","9783642342813"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34281-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}