{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T00:06:37Z","timestamp":1778198797438,"version":"3.51.4"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T00:00:00Z","timestamp":1513555200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["I2420-N31"],"award-info":[{"award-number":["I2420-N31"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P26452-N15"],"award-info":[{"award-number":["P26452-N15"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s10472-017-9569-3","type":"journal-article","created":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T05:06:55Z","timestamp":1513573615000},"page":"321-349","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A unifying logic for non-deterministic, parallel and concurrent abstract state machines"],"prefix":"10.1007","volume":"83","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":[[2017,12,18]]},"reference":[{"key":"9569_CR1","unstructured":"Alur, R.: Principles of Cyber-Physical Systems. MIT Press (2015)"},{"issue":"4","key":"9569_CR2","doi-asserted-by":"crossref","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. Comput. Log. 4(4), 578\u2013651 (2003)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"9569_CR3","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. Comput. Log. 9(3), 1\u201332 (2008)","journal-title":"ACM Trans. Comput. Log."},{"issue":"5","key":"9569_CR4","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s00236-015-0249-7","volume":"53","author":"E B\u00f6rger","year":"2016","unstructured":"B\u00f6rger, E., Schewe, K.: Concurrent abstract state machines. Acta Inf. 53(5), 469\u2013492 (2016)","journal-title":"Acta Inf."},{"key":"9569_CR5","doi-asserted-by":"crossref","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":"9569_CR6","unstructured":"Fensel, D., Groenboom, R.: MLPM: defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems. In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96). Budapest, Hungary (1996)"},{"key":"9569_CR7","doi-asserted-by":"crossref","unstructured":"Ferrarotti, F., Schewe, K., Tec, L., Wang, Q.: A Logic for Non-Deterministic Parallel Abstract State Machines. In: Gyssens, M., Simari, G.R. (eds.) Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7\u201311, 2016. Proceedings, Lecture Notes in Computer Science, vol. 9616, pp. 334\u2013354. Springer (2016)","DOI":"10.1007\/978-3-319-30024-5_18"},{"key":"9569_CR8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.tcs.2016.08.013","volume":"649","author":"F Ferrarotti","year":"2016","unstructured":"Ferrarotti, F., Schewe, K., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649, 25\u201353 (2016)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"9569_CR9","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1145\/321420.321422","volume":"14","author":"RW Floyd","year":"1967","unstructured":"Floyd, R.W.: Nondeterministic algorithms. J. ACM 14(4), 636\u2013644 (1967). https:\/\/doi.org\/10.1145\/321420.321422","journal-title":"J. ACM"},{"key":"9569_CR10","doi-asserted-by":"crossref","unstructured":"Groenboom, R., Renardel de Lavalette, G.: Reasoning about dynamic features in specification languages - a modal view on creation and modification. In: Proceedings of the International Workshop on Semantics of Specification Languages (SoSL), pp. 340\u2013355. Springer (1994)","DOI":"10.1007\/978-1-4471-3229-5_19"},{"key":"9569_CR11","unstructured":"Groenboom, R., Renardel de Lavalette, G.: A formalization of evolving algebras. In: Proceedings of Accolade95. Dutch Research School in Logic (1995)"},{"key":"9569_CR12","unstructured":"Gurevich, Y.: Evolving algebras 1993: lipari guide. In: Specification and Validation Methods, pp. 9\u201336. Oxford University Press (1993)"},{"issue":"1","key":"9569_CR13","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Log. 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Log."},{"key":"9569_CR14","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"issue":"2","key":"9569_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin, L.: Completeness in the theory of types. J. Symbolic Logic 15(2), 81\u201391 (1950). http:\/\/projecteuclid.org\/euclid.jsl\/1183730860","journal-title":"J. Symbolic Logic"},{"key":"9569_CR16","doi-asserted-by":"crossref","unstructured":"Hughes, G., Cresswell, M.: A New Introduction to Modal Logic. Burns & Oates (1996)","DOI":"10.4324\/9780203290644"},{"key":"9569_CR17","unstructured":"Kr\u00f6ger, F., Merz, S.: Temporal Logic and State Systems. Texts in Theoretical Computer Science. An EATCS Series. Springer (2008)"},{"key":"9569_CR18","doi-asserted-by":"crossref","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."},{"issue":"9","key":"9569_CR19","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"28","author":"L Lamport","year":"1979","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. 28(9), 690\u2013691 (1979)","journal-title":"IEEE Trans. Comput."},{"key":"9569_CR20","doi-asserted-by":"crossref","unstructured":"Leivant, D.: Higher order logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A., Siekmann, J.H. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Deduction Methodologies, vol. 2, pp. 229\u2013322. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198537465.003.0004"},{"issue":"3-4","key":"9569_CR21","first-page":"351","volume":"22","author":"S Merz","year":"2003","unstructured":"Merz, S.: On the logic of TLA+. Comput. Artif. Intell. 22(3-4), 351\u2013379 (2003)","journal-title":"Comput. Artif. Intell."},{"key":"9569_CR22","unstructured":"Nanchen, S.: Verifying Abstract State Machines. Ph.D. Thesis, ETH Z\u00fcrich (2007)"},{"key":"9569_CR23","unstructured":"Renardel de Lavalette, G.: A logic of modification and creation. In: Logical Perspectives on Language and Information. CSLI Publications (2001)"},{"issue":"1-3","key":"9569_CR24","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10472-013-9389-z","volume":"71","author":"G Schellhorn","year":"2014","unstructured":"Schellhorn, G., Tofan, B., Ernst, G., Pf\u00e4hler, J., Reif, W.: RGITL: a temporal logic framework for compositional reasoning about interleaved programs. Ann. Math. Artif. Intell. 71(1-3), 131\u2013174 (2014)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9569_CR25","unstructured":"Schmalz, M.: Formalizing the Logic of Event-B. Ph.D. Thesis, ETH Z\u00fcrich (2012)"},{"key":"9569_CR26","unstructured":"Sch\u00f6negge, A.: Extending Dynamic Logic for Reasoning About Evolving Algebras. Technical Report 49\/95, Universit\u00e4t Karlsruhe, Fakult\u00e4t F\u00fcr Informatik (1995)"},{"key":"9569_CR27","unstructured":"St\u00e4rk, R., Nanchen, S.: A logic for abstract state machines. J. Univ. Comput. Sci. 7(11), 980\u20131005 (2001)"},{"key":"9569_CR28","doi-asserted-by":"crossref","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, Inc., New York (1995)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-017-9569-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-017-9569-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-017-9569-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T20:46:09Z","timestamp":1719693969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-017-9569-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,18]]},"references-count":28,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["9569"],"URL":"https:\/\/doi.org\/10.1007\/s10472-017-9569-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,18]]}}}