Dang Duy Bui, Kazuhiro Ogata 0001. Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol. In Joseph J. Pfeiffer Jr., editor, The 25th International DMS Conference on Visualization and Visual Languages, DMSVIVS 2019, Hotel Tivoli, Lisbon, Portugal, July 8-9, 2019. pages 125-137, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. [doi]
Abstract is missing.