{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T17:06:28Z","timestamp":1763571988872},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540446248"},{"type":"electronic","value":"9783540446279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11864219_47","type":"book-chapter","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T01:25:39Z","timestamp":1159925139000},"page":"566-568","source":"Crossref","is-referenced-by-count":3,"title":["Brief Announcement Monitoring of Linear Distributed Computations"],"prefix":"10.1007","author":[{"given":"Anton","family":"Esin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rostislav","family":"Yavorskiy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Zemtsov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Filatov, V., Yavorskiy, R.: Scenario based analysis of linear computations. In: Proceedings of 12th International Workshop on Abstract State Machines ASM 2005, France, March 8-11, 2005, pp. 167\u2013174 (2005)","key":"47_CR1"},{"key":"47_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-24627-5_2","volume-title":"Foundations of Information and Knowledge Systems","author":"Y. Gurevich","year":"2004","unstructured":"Gurevich, Y.: Abstract State Machines: An Overview of the Project. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol.\u00a02942, pp. 6\u201313. Springer, Heidelberg (2004)"},{"key":"47_CR3","volume-title":"Abstract State Machines. 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. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"issue":"7","key":"47_CR4","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1109\/TSE.2004.25","volume":"30","author":"U. Glaesser","year":"2004","unstructured":"Glaesser, U., Gurevich, Y., Veanes, M.: Abstract Communication Model for Distributed Systems. IEEE Transactions on Software Engineering\u00a030(7), 458\u2013472 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"The OSI Reference Model, \n                    \n                      http:\/\/www.cisco.com\/warp\/public\/473\/5.html","key":"47_CR5"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11864219_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:21:26Z","timestamp":1619493686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11864219_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540446248","9783540446279"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11864219_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}