{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:17:22Z","timestamp":1729617442128,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/ds-rt.2016.16","type":"proceedings-article","created":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T17:00:43Z","timestamp":1482166843000},"page":"136-144","source":"Crossref","is-referenced-by-count":2,"title":["Modelling and Verification of Mutual Exclusion Algorithms"],"prefix":"10.1109","author":[{"given":"Franco","family":"Cicirelli","sequence":"first","affiliation":[]},{"given":"Libero","family":"Nigro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028779"},{"key":"ref11","first-page":"62","article-title":"Model-checking for real-time systems. Lecture Notes in Computer Science","volume":"965","author":"larsen","year":"2005"},{"key":"ref12","first-page":"1","article-title":"Uppaal Smc Tutorial","volume":"17","author":"david","year":"2015","journal-title":"Software Tools for Technology Transfer"},{"journal-title":"Communication and Concurrency Prentice-Hall","year":"1989","author":"milner","key":"ref13"},{"key":"ref14","first-page":"414","article-title":"Model-checking for real-time systems","author":"alur","year":"0"},{"key":"ref15","article-title":"Mutual Exclusion With Semaphores","author":"hesselink","year":"2011","journal-title":"Formal Aspects of Computing"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(90)90048-3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2005.05.015"},{"journal-title":"Algorithms for mutual exclusion","year":"1986","author":"raynal","key":"ref19"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on Uppaal. In: Formal Methods for the Design of Real-Time Systems","volume":"3185","author":"behrmann","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"ref3","first-page":"183","article-title":"A theory of timed automata. Theoretical Computer Science","volume":"126","author":"alur","year":"1994"},{"key":"ref6","article-title":"Dual-port SRAM accelerates smart-phone development","author":"frenzel","year":"2004","journal-title":"Electronic Design"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2012.02.018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33622-0_19"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786227"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-008-0086-z"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/365559.365617"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/s100090050008","article-title":"HyTech: A model checker for hybrid systems","volume":"1","author":"henzinger","year":"1997","journal-title":"Software Tools for Technology Transfer"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(84)90093-0"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s00446-003-0088-6","article-title":"Shared-memory mutual exclusion: Major research trendssince","volume":"16","author":"anderson","year":"1986","journal-title":"Distributed Computing"},{"key":"ref21","first-page":"18","article-title":"Proof of a mutual exclusion algorithm - A ‘Class'ic example","volume":"24","author":"hofri","year":"1990","journal-title":"ACMSIGOPS OSR"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.5220\/0005506700690076"},{"key":"ref23","article-title":"The mutual exclusion problem. Part I and Part II","author":"lamport","year":"2000","journal-title":"Journal of ACM"}],"event":{"name":"2016 IEEE\/ACM 20th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","start":{"date-parts":[[2016,9,21]]},"location":"London, United Kingdom","end":{"date-parts":[[2016,9,23]]}},"container-title":["2016 IEEE\/ACM 20th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7787084\/7789852\/07789883.pdf?arnumber=7789883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T14:48:02Z","timestamp":1568645282000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7789883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/ds-rt.2016.16","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}