{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:34Z","timestamp":1750220374628,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,26]],"date-time":"2021-05-26T00:00:00Z","timestamp":1621987200000},"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":[[2021,5,26]]},"DOI":"10.1145\/3459960.3459962","type":"proceedings-article","created":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T16:16:22Z","timestamp":1622132182000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["PSTM Transaction Scheduler Verification Based on CSP and Testing"],"prefix":"10.1145","author":[{"given":"Miroslav","family":"Popovic","sequence":"first","affiliation":[{"name":"University of Novi Sad, Serbia"}]},{"given":"Marko","family":"Popovic","sequence":"additional","affiliation":[{"name":"University of Novi Sad, Serbia"}]},{"given":"Branislav","family":"Kordic","sequence":"additional","affiliation":[{"name":"University of Novi Sad, Serbia"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}]}],"member":"320","published-online":{"date-parts":[[2021,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/173682.165164"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855056"},{"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.1145\/1378533.1378564"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92990-1_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400751.1400769"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 22nd Telecommunications Forum. IEEE, 1106-1109","author":"Popovic M.","year":"2014","unstructured":"M. Popovic and B. Kordic . 2014. PSTM: Python software transactional memory . In Proceedings of the 22nd Telecommunications Forum. IEEE, 1106-1109 . https:\/\/doi.org\/10.1109\/TELFOR. 2014 .7034600 10.1109\/TELFOR.2014.7034600 M. Popovic and B. Kordic. 2014. PSTM: Python software transactional memory. In Proceedings of the 22nd Telecommunications Forum. IEEE, 1106-1109. https:\/\/doi.org\/10.1109\/TELFOR.2014.7034600"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/jcc.21755"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352700.3352701"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 2nd IEEE International Conference on Cloud Computing and Big Data Analysis. IEEE, 191-195","author":"Popovic M.","year":"2017","unstructured":"M. Popovic , B. Kordic , and I. Basicevic . 2017. Transaction Scheduling for Software Transactional Memory . In Proceedings of the 2nd IEEE International Conference on Cloud Computing and Big Data Analysis. IEEE, 191-195 . https:\/\/doi.org\/10.1109\/ICCCBDA. 2017 .7951909 10.1109\/ICCCBDA.2017.7951909 M. Popovic, B. Kordic, and I. Basicevic. 2017. Transaction Scheduling for Software Transactional Memory. In Proceedings of the 2nd IEEE International Conference on Cloud Computing and Big Data Analysis. IEEE, 191-195. https:\/\/doi.org\/10.1109\/ICCCBDA.2017.7951909"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2298\/SJEE1901085P"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.00009"},{"issue":"7","key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"197","DOI":"10.12700\/APH.16.7.2019.7.12","article-title":"Formal Verification of Python Software Transactional Memory Based on Timed Automata","volume":"16","author":"Kordic B.","year":"2019","unstructured":"B. Kordic , M. Popovic , S. Ghilezan . 2019 . Formal Verification of Python Software Transactional Memory Based on Timed Automata . Acta Polytechnica Hungarica 16 , 7 , 197 - 216 . https:\/\/doi.org\/10.12700\/APH.16.7.2019.7.12. 10.12700\/APH.16.7.2019.7.12 B. Kordic, M. Popovic, S. Ghilezan. 2019. Formal Verification of Python Software Transactional Memory Based on Timed Automata. Acta Polytechnica Hungarica 16, 7, 197-216. https:\/\/doi.org\/10.12700\/APH.16.7.2019.7.12.","journal-title":"Acta Polytechnica Hungarica"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110559"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-013-3091-5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737995"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352700.3352706"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1614191"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"#cr-split#-e_1_3_2_1_21_1.1","doi-asserted-by":"crossref","unstructured":"G. Behrmann A. David and K. G. Larsen. 2004. A Tutorial on Uppaal. Lecture Notes in Computer Science vol 3185. Springer Berlin Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7 10.1007\/978-3-540-30080-9_7","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"#cr-split#-e_1_3_2_1_21_1.2","doi-asserted-by":"crossref","unstructured":"G. Behrmann A. David and K. G. Larsen. 2004. A Tutorial on Uppaal. Lecture Notes in Computer Science vol 3185. Springer Berlin Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7","DOI":"10.1007\/978-3-540-30080-9_7"},{"volume-title":"Systems and Software Verification","author":"Berard B.","key":"e_1_3_2_1_22_1","unstructured":"B. Berard , J. M. Bidoit , A. Finkel , F. Laroussinie , A. Petit , L. Petrucci , Ph. Schnoebelen , and P. McKenzie . 1999. Systems and Software Verification . Springer . B. Berard, J. M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen, and P. McKenzie. 1999. Systems and Software Verification. Springer."},{"volume-title":"Retrieved","year":"2021","key":"e_1_3_2_1_23_1","unstructured":"Testing. Cambridge online dictionary . Retrieved March 16, 2021 from https:\/\/dictionary.cambridge.org\/dictionary\/english\/testing Testing. Cambridge online dictionary. Retrieved March 16, 2021 from https:\/\/dictionary.cambridge.org\/dictionary\/english\/testing"}],"event":{"name":"ECBS 2021: 7th Conference on the Engineering of Computer Based Systems","acronym":"ECBS 2021","location":"Novi Sad Serbia"},"container-title":["7th Conference on the Engineering of Computer Based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3459960.3459962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3459960.3459962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:43Z","timestamp":1750191463000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3459960.3459962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,26]]},"references-count":24,"alternative-id":["10.1145\/3459960.3459962","10.1145\/3459960"],"URL":"https:\/\/doi.org\/10.1145\/3459960.3459962","relation":{},"subject":[],"published":{"date-parts":[[2021,5,26]]},"assertion":[{"value":"2021-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}