{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:32Z","timestamp":1750221272567,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,29]]},"DOI":"10.1145\/3127041.3127062","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:34:00Z","timestamp":1506515640000},"page":"157-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Concurrent execution system for action languages"],"prefix":"10.1145","author":[{"given":"Antti","family":"J\u00e4\u00e4skel\u00e4inen","sequence":"first","affiliation":[{"name":"Tampere University of Technology, Tampere, Finland"}]},{"given":"Hannu-Matti","family":"J\u00e4rvinen","sequence":"additional","affiliation":[{"name":"Tampere University of Technology, Tampere, Finland"}]},{"given":"Mikko","family":"Tiusanen","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/48022.48023"},{"volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein Philip A.","key":"e_1_3_2_1_2_1","unstructured":"Philip A. Bernstein , Vassos Hadzilacos , and Nathan Goodman . 1987. Concurrency Control and Recovery in Database Systems . Addison-Wesley , Reading, MA, USA . Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, MA, USA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1556444.1556449"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278667"},{"volume-title":"Parallel Program Design: A Foundation","author":"Mani Chandy K.","key":"e_1_3_2_1_5_1","unstructured":"K. Mani Chandy and Jayadev Misra . 1988. Parallel Program Design: A Foundation . Addison-Wesley , Reading, Massachusetts . K. Mani Chandy and Jayadev Misra. 1988. Parallel Program Design: A Foundation. Addison-Wesley, Reading, Massachusetts."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1624775.1624804"},{"key":"e_1_3_2_1_8_1","unstructured":"Hannu-Matti J\u00e4rvinen. 2017. Actions Home Page. http:\/\/www.cs.tut.fi\/%7Ehmj\/Actions\/.(2017).Cited July 2017.  Hannu-Matti J\u00e4rvinen. 2017. Actions Home Page. http:\/\/www.cs.tut.fi\/%7Ehmj\/Actions\/.(2017).Cited July 2017."},{"volume-title":"A Practical Theory of Reactive Systems. Texts in Theoretical Computer Science","author":"Kurki-Suonio Reino","key":"e_1_3_2_1_9_1","unstructured":"Reino Kurki-Suonio . 2005. A Practical Theory of Reactive Systems. Texts in Theoretical Computer Science , Vol. XXII . Springer , Berlin, Heidelberg . Reino Kurki-Suonio. 2005. A Practical Theory of Reactive Systems. Texts in Theoretical Computer Science, Vol. XXII. Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"e_1_3_2_1_11_1","volume-title":"Principles and Specifications of Concurrent Systems. (Aug","author":"Lamport Leslie","year":"2015","unstructured":"Leslie Lamport . 2015. Principles and Specifications of Concurrent Systems. (Aug . 2015 ). Available at http:\/\/lamport.azurewebsites.net\/tla\/hyperbook.html, cited July 2017. Leslie Lamport. 2015. Principles and Specifications of Concurrent Systems. (Aug. 2015). Available at http:\/\/lamport.azurewebsites.net\/tla\/hyperbook.html, cited July 2017."},{"key":"e_1_3_2_1_12_1","unstructured":"Linaro Ltd. 2015. The OpenDataPlane Project. http:\/\/www.opendataplane.org\/. (2015). Cited July 2017.  Linaro Ltd. 2015. The OpenDataPlane Project. http:\/\/www.opendataplane.org\/. (2015). Cited July 2017."},{"key":"e_1_3_2_1_13_1","unstructured":"Massachusetts Institute of Technology. 2003. Bluespec Related Publications. http:\/\/csg.csail.mit.edu\/pubs\/bluespecpubs.html. (2003). Cited July 2017.  Massachusetts Institute of Technology. 2003. Bluespec Related Publications. http:\/\/csg.csail.mit.edu\/pubs\/bluespecpubs.html. (2003). Cited July 2017."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508148.2485935"},{"key":"e_1_3_2_1_15_1","volume-title":"Model-Based Testing with JUnit. https:\/\/sourceforge.net\/projects\/modeljunit\/. (Jan","author":"Utting Mark","year":"2016","unstructured":"Mark Utting . 2016. Model-Based Testing with JUnit. https:\/\/sourceforge.net\/projects\/modeljunit\/. (Jan . 2016 ). Cited July 2017. Mark Utting. 2016. Model-Based Testing with JUnit. https:\/\/sourceforge.net\/projects\/modeljunit\/. (Jan. 2016). Cited July 2017."},{"issue":"0","key":"e_1_3_2_1_16_1","article-title":"Open Event Machine Introduction","volume":"1","author":"Wall\u00e9n Carl","year":"2013","unstructured":"Carl Wall\u00e9n , Krister W, Matias Elo , and Petri Savolainen . 2013 . Open Event Machine Introduction , Rev. 1 . 0 . http:\/\/sourceforge.net\/projects\/eventmachine\/underFiles\/Documents\/EM_introduction_1_0.pdf. (May 2013). Cited July 2017. Carl Wall\u00e9n, Krister W, Matias Elo, and Petri Savolainen. 2013. Open Event Machine Introduction, Rev. 1.0. http:\/\/sourceforge.net\/projects\/eventmachine\/underFiles\/Documents\/EM_introduction_1_0.pdf. (May 2013). Cited July 2017.","journal-title":"Rev."}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Vienna Austria","acronym":"MEMOCODE '17"},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127062","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:07Z","timestamp":1750212667000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":15,"alternative-id":["10.1145\/3127041.3127062","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3127062","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}