{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:07Z","timestamp":1750306807701,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,27]],"date-time":"2013-10-27T00:00:00Z","timestamp":1382832000000},"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":[[2013,10,27]]},"DOI":"10.1145\/2541329.2541335","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T20:44:07Z","timestamp":1389041047000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Analysing timed Rebeca using McErlang"],"prefix":"10.1145","author":[{"given":"Haukur","family":"Kristinsson","sequence":"first","affiliation":[{"name":"Reykjavik University, Reykjavik , Iceland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Jafari","sequence":"additional","affiliation":[{"name":"Reykjavik University, Reykjavik , Iceland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehsan","family":"Khamespanah","sequence":"additional","affiliation":[{"name":"University of Tehran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brynjar","family":"Magnusson","sequence":"additional","affiliation":[{"name":"Reykjavik University, Reykjavik, Iceland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[{"name":"Reykjavik University, Reykjavik , Iceland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.58.1"},{"volume-title":"MIT Press","year":"1990","author":"Agha G.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","first-page":"1","volume-title":"J. W. de Bakker, W.-P","author":"Agha G.","year":"1990"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/256562.256597"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30793-5_16"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291220.1291171"},{"key":"e_1_3_2_1_8_1","unstructured":"I. Gupta B. Cho M. R. Rahman T. Chajed C. L. Abad N. Roberts and P. Lin. Natjam: Eviction Policies For Supporting Priorities and Deadlines in Mapreduce Clusters. 2009. URL https:\/\/www.ideals.illinois.edu\/handle\/2142\/44871. I. Gupta B. Cho M. R. Rahman T. Chajed C. L. Abad N. Roberts and P. Lin. Natjam: Eviction Policies For Supporting Priorities and Deadlines in Mapreduce Clusters. 2009. URL https:\/\/www.ideals.illinois.edu\/handle\/2142\/44871."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-009-0111-x"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2414639.2414645"},{"volume-title":"Reykjavik University","year":"2012","author":"Kristinsson H.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11560548_14"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/stc.1514"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00009-2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9001-5"},{"volume-title":"Technical Report DAIMI FN-19, Computer Science Department","year":"1981","author":"Plotkin G. D.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","unstructured":"Rebeca. Rebeca homepage. http:\/\/www.rebeca-lang.org. Rebeca. Rebeca homepage. http:\/\/www.rebeca-lang.org."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/216636.216656"},{"key":"e_1_3_2_1_20_1","unstructured":"Z. Sharifi S. Mohammadi and M. Sirjani. Comparison of NoC Routing Algorithms Using Formal Methods. To be published in proceedings of PDPTA'13 2013. Z. Sharifi S. Mohammadi and M. Sirjani. Comparison of NoC Routing Algorithms Using Formal Methods. To be published in proceedings of PDPTA'13 2013."},{"key":"e_1_3_2_1_21_1","unstructured":"Z. Sharifi M. Mosaffa S. Mohammadi and M. Sirjani. Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. To be published in proceedings of AVOCS'13 2013. Z. Sharifi M. Mosaffa S. Mohammadi and M. Sirjani. Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. To be published in proceedings of AVOCS'13 2013."},{"key":"e_1_3_2_1_22_1","first-page":"94716","volume-title":"Springer","author":"Simonoff J. S.","year":"1998"},{"volume-title":"Springer-Verlag","year":"2011","author":"Sirjani M.","key":"e_1_3_2_1_23_1"},{"issue":"6","key":"e_1_3_2_1_24_1","first-page":"1054","volume":"11","author":"Sirjani M.","year":"2005","journal-title":"Journal of Universal Computer Science"},{"issue":"4","key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","volume":"63","author":"Sirjani M.","year":"2004","journal-title":"Fundamenta Informatica"},{"key":"e_1_3_2_1_26_1","unstructured":"UPPAAL. UPPAAL Homepage. http:\/\/www.uppaal.com. UPPAAL. UPPAAL Homepage. http:\/\/www.uppaal.com."}],"event":{"name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Indianapolis Indiana USA","acronym":"SPLASH '13"},"container-title":["Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541329.2541335","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2541329.2541335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:35:01Z","timestamp":1750232101000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541329.2541335"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,27]]},"references-count":25,"alternative-id":["10.1145\/2541329.2541335","10.1145\/2541329"],"URL":"https:\/\/doi.org\/10.1145\/2541329.2541335","relation":{},"subject":[],"published":{"date-parts":[[2013,10,27]]},"assertion":[{"value":"2013-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}