Franco Cicirelli, Libero Nigro. Modelling and Verification of Mutual Exclusion Algorithms. In 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2016, London, United Kingdom, September 21-23, 2016. pages 136-144, IEEE Computer Society, 2016. [doi]
Abstract is missing.