{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T12:30:56Z","timestamp":1789216256829,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T00:00:00Z","timestamp":1327449600000},"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,1,25]]},"DOI":"10.1145\/2103656.2103681","type":"proceedings-article","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T11:47:19Z","timestamp":1327405639000},"page":"203-214","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Analysis of recursively parallel programs"],"prefix":"10.1145","author":[{"given":"Ahmed","family":"Bouajjani","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Emmi","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Diderot, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788796"},{"key":"e_1_3_2_2_2_1","volume-title":"Sun Microsystems","author":"Allen E.","year":"2006","unstructured":"E. Allen , D. Chase , V. Luchangco , J.-W. Maessen , S. Ryu , G. L. S. Jr. , and S. Tobin-Hochstadt . The Fortress language specification. Technical report , Sun Microsystems , Inc ., 2006 . E. Allen, D. Chase, V. Luchangco, J.-W. Maessen, S. Ryu, G. L. S. Jr., and S. Tobin-Hochstadt. The Fortress language specification. Technical report, Sun Microsystems, Inc., 2006."},{"key":"e_1_3_2_2_3_1","volume-title":"Analysis of recursively parallel programs","author":"Bouajjani A.","year":"2011","unstructured":"A. Bouajjani and M. Emmi . Analysis of recursively parallel programs . 2011 . http:\/\/hal.archives-ouvertes.fr\/hal-00639351\/en. A. Bouajjani and M. Emmi. Analysis of recursively parallel programs. 2011. http:\/\/hal.archives-ouvertes.fr\/hal-00639351\/en."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11805618_11"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_36"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869515"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_3_2_2_8_1","first-page":"181","volume-title":"FSTTCS '09: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science","author":"Demri S.","year":"2009","unstructured":"S. Demri , M. Jurdzinski , O. Lachish , and R. Lazic . The covering and boundedness problems for branching vector addition systems . In FSTTCS '09: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science , pages 181 -- 192 , 2009 . S. Demri, M. Jurdzinski, O. Lachish, and R. Lazic. The covering and boundedness problems for branching vector addition systems. In FSTTCS '09: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, pages 181--192, 2009."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926443"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325697"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00102-X"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003329"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767111.1767125"},{"key":"e_1_3_2_2_14_1","volume-title":"Algorithmic verification of asynchronous programs. CoRR, abs\/1011.0551","author":"Ganty P.","year":"2010","unstructured":"P. Ganty and R. Majumdar . Algorithmic verification of asynchronous programs. CoRR, abs\/1011.0551 , 2010 . http:\/\/arxiv.org\/abs\/1011.0551. P. Ganty and R. Majumdar. Algorithmic verification of asynchronous programs. CoRR, abs\/1011.0551, 2010. http:\/\/arxiv.org\/abs\/1011.0551."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2005.09.001"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.733618"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_27"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190266"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.45"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.16"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0078-9"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00070ED1V01Y200611CAC002"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640106"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988915.1988918"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(78)90036-1"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349241"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_2_32_1","volume-title":"FASPP '11: Proc. First International Workshop on Future Architectural Support for Parallel Programming","author":"Segulja C.","year":"2011","unstructured":"C. Segulja and T. S. Abdelrahman . Synchronization-free and deterministic coarse-grain parallelism: Architectural support and programming model . In FASPP '11: Proc. First International Workshop on Future Architectural Support for Parallel Programming , 2011 . C. Segulja and T. S. Abdelrahman. Synchronization-free and deterministic coarse-grain parallelism: Architectural support and programming model. In FASPP '11: Proc. First International Workshop on Future Architectural Support for Parallel Programming, 2011."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_29"}],"event":{"name":"POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Philadelphia PA USA","acronym":"POPL '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103656.2103681","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103656.2103681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:06:21Z","timestamp":1750226781000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103656.2103681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,25]]},"references-count":31,"alternative-id":["10.1145\/2103656.2103681","10.1145\/2103656"],"URL":"https:\/\/doi.org\/10.1145\/2103656.2103681","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2103621.2103681","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,1,25]]},"assertion":[{"value":"2012-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}