{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:40Z","timestamp":1750307080953,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,16]],"date-time":"2012-09-16T00:00:00Z","timestamp":1347753600000},"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,9,16]]},"DOI":"10.1145\/2371316.2371352","type":"proceedings-article","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T14:51:58Z","timestamp":1347979918000},"page":"180-185","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Parameterized verification of open procedural programs"],"prefix":"10.1145","author":[{"given":"Aleksandar S.","family":"Dimovski","sequence":"first","affiliation":[{"name":"FON University, Skopje, FYR Macedonia"}]}],"member":"320","published-online":{"date-parts":[[2012,9,16]]},"reference":[{"volume-title":"O'Hearn, P. W, and Tennent, R. D. (eds), Algol-like languages","year":"1997","author":"Abramsky S.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Proceedings of the 1997 Marktoberdorf Summer School: Computational Logic","author":"Abramsky S.","year":"1998"},{"volume-title":"MIT Press","year":"2000","author":"Clarke E.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691617_17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0005-y"},{"volume-title":"Springer","year":"2010","author":"Dimovski A.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","unstructured":"A. Dimovski. Logical relations for game semantics and their applications. Submitted for publication.  A. Dimovski. Logical relations for game semantics and their applications. Submitted for publication ."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00315-3"},{"volume-title":"Springer","year":"2004","author":"Ghica D. R.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2917"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625968"},{"volume-title":"Phil. Thesis","year":"1999","author":"Lazi\u0107 R.","key":"e_1_3_2_1_13_1"},{"volume-title":"Springer","year":"2000","author":"Lazi\u0107 R.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Q.Ma and J. C. Reynolds Types Abstraction and Parametric Polymorphism Part 2. In Brookes S. D. Main M. G. Melton A. Mislove M. W. Schmidt D. A. (eds.) MFPS 1991 LNCS vol. 598 pages 1--40 Springer Heidelberg (1992).   Q.Ma and J. C. Reynolds Types Abstraction and Parametric Polymorphism Part 2. In Brookes S. D. Main M. G. Melton A. Mislove M. W. Schmidt D. A. (eds.) MFPS 1991 LNCS vol. 598 pages 1--40 Springer Heidelberg (1992).","DOI":"10.1007\/3-540-55511-0_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/210346.210425"},{"volume-title":"Prentice-Hall","year":"1999","author":"Roscoe W.","key":"e_1_3_2_1_17_1"}],"event":{"name":"BCI '12: Balkan Conference in Informatics, 2012","sponsor":["MSTD Ministry of Education, Science and Technological Development - Serbia","Novi Sad Faculty of Technical Sciences, University of Novi Sad"],"location":"Novi Sad Serbia","acronym":"BCI '12"},"container-title":["Proceedings of the Fifth Balkan Conference in Informatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2371316.2371352","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2371316.2371352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:12Z","timestamp":1750239252000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2371316.2371352"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,16]]},"references-count":17,"alternative-id":["10.1145\/2371316.2371352","10.1145\/2371316"],"URL":"https:\/\/doi.org\/10.1145\/2371316.2371352","relation":{},"subject":[],"published":{"date-parts":[[2012,9,16]]},"assertion":[{"value":"2012-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}