On Verifying Unbounded Client-Server Systems

Tephilla Prince. On Verifying Unbounded Client-Server Systems. In Vadim Malvone, Aniello Murano, editors, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Volume 14282 of Lecture Notes in Computer Science, pages 465-471, Springer, 2023. [doi]

Abstract

Abstract is missing.