{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T00:06:36Z","timestamp":1778198796868,"version":"3.51.4"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319300238","type":"print"},{"value":"9783319300245","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30024-5_18","type":"book-chapter","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T03:53:01Z","timestamp":1456977181000},"page":"334-354","source":"Crossref","is-referenced-by-count":3,"title":["A Logic for Non-deterministic Parallel Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Ferrarotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus-Dieter","family":"Schewe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loredana","family":"Tec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,4]]},"reference":[{"issue":"3","key":"18_CR1","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/jigpal\/jzn008","volume":"16","author":"T \u00c5gotnes","year":"2008","unstructured":"\u00c5gotnes, T., Walicki, M.: Complete axiomatisations of properties of finite sets. Logic J. IGPL 16(3), 293\u2013313 (2008)","journal-title":"Logic J. IGPL"},{"key":"18_CR2","volume-title":"Principles of Cyber-Physical Systems","author":"R Alur","year":"2015","unstructured":"Alur, R.: Principles of Cyber-Physical Systems. MIT Press, Cambridge (2015)"},{"issue":"4","key":"18_CR3","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 Trans. Comp. Logic 4(4), 578\u2013651 (2003)","journal-title":"ACM Trans. Comp. Logic"},{"issue":"3","key":"18_CR4","first-page":"1","volume":"9","author":"A Blass","year":"2008","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: correction and extension. ACM Trans. Comp. Logic 9(3), 1\u201332 (2008)","journal-title":"ACM Trans. Comp. Logic"},{"key":"18_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","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.F.: Abstract State Machines: a Method for High-Level System Design and Analysis. Springer, New York (2003)"},{"key":"18_CR6","unstructured":"Ferrarotti, F., Schewe, K., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. CoRR abs\/1504.06203 (2015). \n                      http:\/\/arxiv.org\/abs\/1504.06203"},{"issue":"4","key":"18_CR7","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1145\/321420.321422","volume":"14","author":"Robert W. Floyd","year":"1967","unstructured":"Floyd, R.W.: Nondeterministic algorithms. J. ACM 14(4), 636\u2013644 (1967). \n                      http:\/\/doi.acm.org\/10.1145\/321420.321422","journal-title":"Journal of the ACM"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/inco.1997.2675","volume":"140","author":"E Gr\u00e4del","year":"1998","unstructured":"Gr\u00e4del, E., Gurevich, Y.: Metafinite model theory. Inf. Comput. 140(1), 26\u201381 (1998)","journal-title":"Inf. Comput."},{"key":"18_CR9","unstructured":"Groenboom, R., Renardel de Lavalette, G.: A formalization of evolving algebras. In: Proceedings of Accolade95. Dutch Research School in Logic (1995)"},{"key":"18_CR10","unstructured":"Huggins, J.K., Wallace, C.: An abstract state machine primer. Technical report 02\u201304, Computer Science Department, Michigan Technological University (2002)"},{"key":"18_CR11","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G Hughes","year":"1996","unstructured":"Hughes, G., Cresswell, M.: A New Introduction to Modal Logic. Burns & Oates, London (1996)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1090\/S0002-9939-1956-0078686-7","volume":"2","author":"JB Kruskal","year":"1956","unstructured":"Kruskal, J.B.: On the shortest spanning subtree of a graph and the travelling salesman problem. Proc. Amer. Math. Soc. 2, 48\u201350 (1956)","journal-title":"Proc. Amer. Math. Soc."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"St\u00e4rk, R., Nanchen, S.: A logic for abstract state machines. J. Univ. Comput. Sci. 7(11) (2001)","DOI":"10.1007\/3-540-44802-0_16"},{"key":"18_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2440-0","volume-title":"The Nature of Statistical Learning Theory","author":"VN Vapnik","year":"1995","unstructured":"Vapnik, V.N.: The Nature of Statistical Learning Theory. Springer, New York (1995)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30024-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T17:07:31Z","timestamp":1559408851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30024-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319300238","9783319300245"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30024-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}