{"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":1778198796846,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,31]],"date-time":"2017-01-31T00:00:00Z","timestamp":1485820800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"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":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1,31]]},"DOI":"10.1145\/3014812.3017446","type":"proceedings-article","created":{"date-parts":[[2016,12,20]],"date-time":"2016-12-20T13:25:34Z","timestamp":1482240334000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Evolving concurrent systems"],"prefix":"10.1145","author":[{"given":"Klaus-Dieter","family":"Schewe","sequence":"first","affiliation":[{"name":"Software Competence Center, Hagenberg, Softwarepark, Hagenberg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"Ferrarotti","sequence":"additional","affiliation":[{"name":"Software Competence Center, Hagenberg, Softwarepark, Hagenberg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loredana","family":"Tec","sequence":"additional","affiliation":[{"name":"Software Competence Center, Hagenberg, Softwarepark, Hagenberg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Australia, Canberra, ACT, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenya","family":"An","sequence":"additional","affiliation":[{"name":"Software Competence Center, Hagenberg, Softwarepark, Hagenberg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,1,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The B-book - Assigning programs to meanings","author":"Abrial J.-R.","year":"2005"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"e_1_3_2_1_3_1","volume-title":"JKU Linz","author":"An W.","year":"2016"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/937555.937561"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352582.1352587"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0012-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-015-0249-7"},{"key":"e_1_3_2_1_8_1","volume-title":"Abstract State Machines. A Method for High-Level System Design and Analysis","author":"B\u00f6rger E.","year":"2003"},{"key":"e_1_3_2_1_9_1","volume-title":"A behavioural theory for reflective sequential algorithms","author":"Ferrarotti F.","year":"2016"},{"key":"e_1_3_2_1_10_1","volume-title":"A complete logic for non-deterministic parallel ASMs","author":"Ferrarotti F.","year":"2016"},{"key":"e_1_3_2_1_11_1","volume-title":"A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. CoRR abs\/1504.06203","author":"Ferrarotti F.","year":"2015"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.08.013"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33600-8_16"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2675"},{"key":"e_1_3_2_1_15_1","first-page":"9","volume-title":"Specification and Validation Methods","author":"Gurevich Y.","year":"1995"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343384"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/557365"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789814374309_0009"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_3_2_1_20_1","series-title":"An EATCS Series","volume-title":"Temporal Logic and State Systems. Texts in Theoretical Computer Science","author":"Kr\u00f6ger F.","year":"2008"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_22_1","volume-title":"The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport L.","year":"2002"},{"key":"e_1_3_2_1_23_1","volume-title":"Distributed Algorithms. Morgan Kaufmann","author":"Lynch N.","year":"1996"},{"key":"e_1_3_2_1_24_1","unstructured":"Mazurkiewicz A.\n  Trace theory\n  . vol. \n  255\n   of \n  LNCS Springer pp. \n  279\n  --\n  324\n  .   Mazurkiewicz A. Trace theory. vol. 255 of LNCS Springer pp. 279--324."},{"key":"e_1_3_2_1_25_1","first-page":"3","volume-title":"Eds","author":"Mazurkiewicz A.","year":"1995"},{"key":"e_1_3_2_1_26_1","first-page":"3","volume":"22","author":"Merz S.","year":"2003","journal-title":"Computers and Artificial Intelligence"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/539036"},{"key":"e_1_3_2_1_28_1","volume-title":"Communicating and Mobile Systems: The Pi-Calculus","author":"Milner R.","year":"1999"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/539513"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43652-3_17"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/550448"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013-9389-z"},{"key":"e_1_3_2_1_34_1","series-title":"Tributes","first-page":"365","volume-title":"Computational Models of Rationality - Essays Dedicated to Gabriele Kern-Isberner on the Occasion of Her 60th Birthday","author":"Schewe K.-D.","year":"2016"},{"key":"e_1_3_2_1_36_1","first-page":"145","volume-title":"Eds. Springer","author":"Seebach H.","year":"2011"},{"key":"e_1_3_2_1_37_1","first-page":"11","volume":"7","author":"St\u00e4rk R. F.","year":"2001","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.7494\/csci.2015.16.1.4","volume":"16","author":"Stegh\u00f6fer J.-P.","year":"2015","journal-title":"Scalable Computing: Practice and Experience"},{"key":"e_1_3_2_1_40_1","unstructured":"The Petri nets bibliography University of Hamburg. http:\/\/www.informatik.uni-hamburg.de\/TGI\/pnbib\/index.html.  The Petri nets bibliography University of Hamburg. http:\/\/www.informatik.uni-hamburg.de\/TGI\/pnbib\/index.html."},{"key":"e_1_3_2_1_41_1","volume-title":"Logical Foundations of Database Transformations for Complex-Value Databases","author":"Wang Q.","year":"2010"},{"key":"e_1_3_2_1_42_1","volume-title":"A complete logic for non-deterministic database transformations. CoRR abs\/1602.07486","author":"Wang Q.","year":"2016"},{"key":"e_1_3_2_1_43_1","first-page":"1","volume-title":"Handbook of Logic and the Foundations of Computer Science: Semantic Modelling","author":"Winskel G.","year":"1995"}],"event":{"name":"ACSW 2017: Australasian Computer Science Week 2017","location":"Geelong Australia","acronym":"ACSW 2017"},"container-title":["Proceedings of the Australasian Computer Science Week Multiconference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3014812.3017446","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3014812.3017446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:18Z","timestamp":1750220658000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3014812.3017446"}},"subtitle":["behavioural theory and logic"],"short-title":[],"issued":{"date-parts":[[2017,1,31]]},"references-count":40,"alternative-id":["10.1145\/3014812.3017446","10.1145\/3014812"],"URL":"https:\/\/doi.org\/10.1145\/3014812.3017446","relation":{},"subject":[],"published":{"date-parts":[[2017,1,31]]},"assertion":[{"value":"2017-01-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}