{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:09:43Z","timestamp":1781651383629,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662436516","type":"print"},{"value":"9783662436523","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43652-3_18","type":"book-chapter","created":{"date-parts":[[2014,5,29]],"date-time":"2014-05-29T02:22:12Z","timestamp":1401330132000},"page":"210-215","source":"Crossref","is-referenced-by-count":5,"title":["Distributed ASM - Pitfalls and Solutions"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Prinz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Edel","family":"Sherratt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"18_CR1","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1145\/937555.937561","volume":"4","author":"A. Blass","year":"2003","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Transactions on Computational Logic (TOCL)\u00a04(4), 578\u2013651 (2003)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"18_CR2","unstructured":"Blass, A., Gurevich, Y.: Persistent queries (2008)"},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1877714.1877722","volume":"12","author":"A. Blass","year":"2011","unstructured":"Blass, A., Gurevich, Y.: Persistent queries in the behavioral theory of algorithms. ACM Transactions on Computational Logic (TOCL)\u00a012(2), 1\u201343 (2011)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"18_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines \u2013 a Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines \u2013 a Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-11447-2_4","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"A. Glausch","year":"2009","unstructured":"Glausch, A., Reisig, W.: An ASM-characterization of a class of distributed algorithms. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol.\u00a05115, pp. 50\u201364. Springer, Heidelberg (2009)"},{"key":"18_CR6","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java language specification Java SE 7 edition (2013), \n                  \n                    http:\/\/docs.oracle.com\/javase\/specs\/jls\/se7\/jls7.pdf"},{"key":"18_CR7","unstructured":"Gurevich, Y.: The sequential ASM thesis.The Logic in Computer Science Column. Bulletin of European Association for Theoretical Computer Science (1999)"},{"key":"18_CR8","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: B\u00f6rger (ed.) Specification and Validation Methods. Oxford University Press (1995)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers\u00a028(9) (September 1979)","DOI":"10.1109\/TC.1979.1675439"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43652-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T23:28:16Z","timestamp":1558913296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43652-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662436516","9783662436523"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43652-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}