{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T18:03:17Z","timestamp":1761847397729,"version":"build-2065373602"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T00:00:00Z","timestamp":1758067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T00:00:00Z","timestamp":1758067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,17]]},"DOI":"10.1109\/ds-rt68115.2025.11186015","type":"proceedings-article","created":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T17:31:15Z","timestamp":1761672675000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Using Uppaal and Actors for Property Checking of Mutual Exclusion Algorithms in Anonymous Memory"],"prefix":"10.1109","author":[{"given":"Libero","family":"Nigro","sequence":"first","affiliation":[{"name":"University of Calabria,DIMES - Department of Informatics Modelling Electronics and Systems Science,Rende,Italy,87036"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Cicirelli","sequence":"additional","affiliation":[{"name":"Institute for High Performance Computing and Networking (ICAR),CNR - National Research Council of Italy,Rende,Italy,87036"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/5383.5384"},{"volume-title":"Algorithms for mutual exclusion","year":"1986","author":"Raynal","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2022.03.030"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3390\/modelling5030037"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"ref7","first-page":"5.1","article-title":"Process-algebraic models of multi-writer multi-reader non-atomic registers","volume-title":"Proceedings of the 34th International Conference on Concurrency Theory (CONCUR) 2023","author":"Spronck"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3659"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3390\/a17120536"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2018.07.011"},{"issue":"2","key":"ref14","first-page":"233","article-title":"A development methodology for cyber-physical systems based on deterministic Theatre with hybrid actors","volume":"25","author":"Cicirelli","journal-title":"TASK Quarterly 2021, Special Issue on CyberPhysical Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2020.102189"},{"journal-title":"Memory-anonymous starvation-free mutual exclusion: Possibility and impossibility results","year":"2023","author":"Taubenfeld","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3529752"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79527-6_9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0407-x"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.09.006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1086.001.0001"}],"event":{"name":"2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","start":{"date-parts":[[2025,9,17]]},"location":"Prague, Czech Republic","end":{"date-parts":[[2025,9,19]]}},"container-title":["2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11185057\/11185078\/11186015.pdf?arnumber=11186015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T17:57:28Z","timestamp":1761847048000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11186015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,17]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ds-rt68115.2025.11186015","relation":{},"subject":[],"published":{"date-parts":[[2025,9,17]]}}}