{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:40:04Z","timestamp":1750207204486,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T00:00:00Z","timestamp":1567382400000},"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":[[2019,9,2]]},"DOI":"10.1145\/3352700.3352706","type":"proceedings-article","created":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T13:06:39Z","timestamp":1566997599000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of Python Software Transactional Memory Serializability Based on the Push\/Pull Semantic Model"],"prefix":"10.1145","author":[{"given":"Miroslav","family":"Popovic","sequence":"first","affiliation":[{"name":"University of Novi Sad, Novi Sad, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"Popovic","sequence":"additional","affiliation":[{"name":"University of Novi Sad, Novi Sad, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Ghilezan","sequence":"additional","affiliation":[{"name":"University of Novi Sad, Novi Sad, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Branislav","family":"Kordic","sequence":"additional","affiliation":[{"name":"University of Novi Sad, Novi Sad, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01728-5","volume-title":"Transactional Memory","author":"Harris T.","year":"2010","unstructured":"T. Harris , J. R. Larus , and R. Rajwar . Transactional Memory , 2 nd edition, Morgan and Claypool , 2010 . T. Harris, J. R. Larus, and R. Rajwar. Transactional Memory, 2nd edition, Morgan and Claypool, 2010.","edition":"2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TELFOR.2014.7034600"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/jcc.21755"},{"key":"e_1_3_2_1_6_1","first-page":"723","volume-title":"Protein Engineering, Design and Selection","author":"Amitay M.","year":"2017","unstructured":"M. Amitay , M. Goldstein . Evaluating the peptide structure prediction capabilities of a purely ab-initio method . In Protein Engineering, Design and Selection , Volume 30 , Issue 10, pages 723 -- 727 , 2017 . M. Amitay, M. Goldstein. Evaluating the peptide structure prediction capabilities of a purely ab-initio method. In Protein Engineering, Design and Selection, Volume 30, Issue 10, pages 723--727, 2017."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCBDA.2017.7951909"},{"key":"e_1_3_2_1_8_1","first-page":"85","volume-title":"Serbian Journal of Electrical Engineering","author":"Popovic M.","year":"2019","unstructured":"M. Popovic , B. Kordic , M. Popovic , I. Basicevic . Online Algorithms for Scheduling Transactions on Python Software Transactional Memory . In Serbian Journal of Electrical Engineering , Volume 16 , Issue 1, pages 85 -- 104 , 2019 . M. Popovic, B. Kordic, M. Popovic, I. Basicevic. Online Algorithms for Scheduling Transactions on Python Software Transactional Memory. In Serbian Journal of Electrical Engineering, Volume 16, Issue 1, pages 85--104, 2019."},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Proceedings of the 5th International Conference on Electrical, Electronic and Computer Engineering (IcETRAN), Article RTI2.1","author":"Popovic M.","year":"2018","unstructured":"M. Popovic , B. Kordic , M. Popovic , and I. Basicevic . A Solution of Concurrent List on PSTM . In Proceedings of the 5th International Conference on Electrical, Electronic and Computer Engineering (IcETRAN), Article RTI2.1 , pages 1 -- 6 , Palic, Serbia , 2018 . M. Popovic, B. Kordic, M. Popovic, and I. Basicevic. A Solution of Concurrent List on PSTM. In Proceedings of the 5th International Conference on Electrical, Electronic and Computer Engineering (IcETRAN), Article RTI2.1, pages 1--6, Palic, Serbia, 2018."},{"key":"e_1_3_2_1_10_1","volume-title":"Morgan Kaufmann","author":"Herlihy M.","year":"2014","unstructured":"M. Herlihy and N. Shavit . The art of multiprocessor programming, revised printing , Morgan Kaufmann , 2014 . M. Herlihy and N. Shavit. The art of multiprocessor programming, revised printing, Morgan Kaufmann, 2014."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TELFOR.2018.8611903"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123779.3123788"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2017.49"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737995"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594322"}],"event":{"name":"ECBS '19: 6th Conference on the Engineering of Computer Based Systems","acronym":"ECBS '19","location":"Bucharest Romania"},"container-title":["Proceedings of the 6th Conference on the Engineering of Computer Based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3352700.3352706","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3352700.3352706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:30Z","timestamp":1750206330000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3352700.3352706"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,2]]},"references-count":15,"alternative-id":["10.1145\/3352700.3352706","10.1145\/3352700"],"URL":"https:\/\/doi.org\/10.1145\/3352700.3352706","relation":{},"subject":[],"published":{"date-parts":[[2019,9,2]]},"assertion":[{"value":"2019-09-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}