{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:27Z","timestamp":1750307067428,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,21]],"date-time":"2012-10-21T00:00:00Z","timestamp":1350777600000},"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":[[2012,10,21]]},"DOI":"10.1145\/2414639.2414645","type":"proceedings-article","created":{"date-parts":[[2012,12,19]],"date-time":"2012-12-19T14:12:22Z","timestamp":1355926342000},"page":"23-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system"],"prefix":"10.1145","author":[{"given":"Ehsan","family":"Khamespanah","sequence":"first","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran"}]},{"given":"Zeynab","family":"Sabahi Kaviani","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran"}]},{"given":"Ramtin","family":"Khosravi","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[{"name":"School of Computer Science, Reykjavik University, Reykjavik, Iceland"}]},{"given":"Mohammad-Javad","family":"Izadi","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran"}]}],"member":"320","published-online":{"date-parts":[[2012,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Rebeca Home Page. http:\/\/www.rebeca-lang.org. Rebeca Home Page. http:\/\/www.rebeca-lang.org."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1478462.1478502"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Luca Aceto Matteo Cimini Anna Ing\u00f3lfsd\u00f3ttir Arni Hermann Reynisson Steinar Hugi Sigurdarson and Marjan Sirjani. Modelling and simulation of asynchronous real-time systems using timed rebeca. In Mohammad Reza Mousavi and Ant\u00f3nio Ravara editors FOCLASA volume 58 of EPTCS pages 1 -- 19 2011 . Luca Aceto Matteo Cimini Anna Ing\u00f3lfsd\u00f3ttir Arni Hermann Reynisson Steinar Hugi Sigurdarson and Marjan Sirjani. Modelling and simulation of asynchronous real-time systems using timed rebeca. In Mohammad Reza Mousavi and Ant\u00f3nio Ravara editors FOCLASA volume 58 of EPTCS pages 1--19 2011.","DOI":"10.4204\/EPTCS.58.1"},{"volume-title":"MIT Press","year":"1990","author":"Agha G.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"volume-title":"MIT Press","year":"2008","author":"Baier Christel","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson Kim Guldstrand Larsen Fredrik Larsson Paul Pettersson and Wang Yi. Uppaal - a tool suite for automatic verification of real-time systems. In Rajeev Alur Thomas A. Henzinger and Eduardo D. Sontag editors Hybrid Systems volume 1066 of Lecture Notes in Computer Science pages 232 -- 243 . Springer 1995 . Johan Bengtsson Kim Guldstrand Larsen Fredrik Larsson Paul Pettersson and Wang Yi. Uppaal - a tool suite for automatic verification of real-time systems. In Rajeev Alur Thomas A. Henzinger and Eduardo D. Sontag editors Hybrid Systems volume 1066 of Lecture Notes in Computer Science pages 232--243. Springer 1995.","DOI":"10.1007\/BFb0020949"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11623-0_12"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74459-7_19"},{"key":"e_1_3_2_1_12_1","first-page":"235","volume-title":"IJCAI","author":"Hewitt Carl","year":"1973"},{"volume-title":"School of Electrical and Computer Engineering","year":"2010","author":"Izadi Mohammad-Javad","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141704"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-009-0111-x"},{"volume-title":"LIACS","year":"2010","author":"Jaghouri M. M.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/956418.956617"},{"volume-title":"Second Edition. Synthesis Lectures on Distributed Computing Theory. Morgan & Claypool Publishers","year":"2010","author":"Kaynar Dilsun Kirli","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00363-2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/216636.216656"},{"volume-title":"Proceedings of FACS 2008","year":"2008","author":"Sabouri Hamideh","key":"e_1_3_2_1_21_1"},{"issue":"10","key":"e_1_3_2_1_22_1","first-page":"1695","article-title":"Modular verification of a component-based actor language","volume":"11","author":"Sirjani Marjan","year":"2005","journal-title":"J. UCS"},{"issue":"4","key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","article-title":"de Boer. Modeling and verification of reactive systems using Rebeca","volume":"63","author":"Sirjani Marjan","year":"2004","journal-title":"Fundam. Inform."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/998666.998757"}],"event":{"name":"SPLASH '12: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Tucson Arizona USA","acronym":"SPLASH '12"},"container-title":["Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2414639.2414645","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2414639.2414645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:23Z","timestamp":1750238483000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2414639.2414645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,21]]},"references-count":23,"alternative-id":["10.1145\/2414639.2414645","10.1145\/2414639"],"URL":"https:\/\/doi.org\/10.1145\/2414639.2414645","relation":{},"subject":[],"published":{"date-parts":[[2012,10,21]]},"assertion":[{"value":"2012-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}