Amar Nath, Rajdeep Niyogi. Formal Verification of a Distributed Algorithm for Task Execution. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blecic, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, Yeliz Karaca, editors, Computational Science and Its Applications - ICCSA 2020 - 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part V. Volume 12253 of Lecture Notes in Computer Science, pages 120-131, Springer, 2020. [doi]
Abstract is missing.