May Thu Aung, Tam Thi Than Nguyen, Kazuhiro Ogata 0001. Analysis of Two Flawed Versions of A Mutual Exclusion Protocol with Maude and SMGA. In Kamal Zuhairi Zamli, Vitaliy Mezhuyev, Luigi Benedicenti, editors, Proceedings of the 7th International Conference on Software and Computer Applications, ICSCA 2018, Kuantan, Malaysia, February 08-10, 2018. pages 194-198, ACM, 2018. [doi]
Abstract is missing.