Wiktor B. Daszczuk. Fairness in Temporal Verification of Distributed Systems. In Wojciech Zamojski, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak, Janusz Kacprzyk, editors, Contemporary Complex Systems and Their Dependability - Proceedings of the 13th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2018, Brunów, Poland. Volume 761 of Advances in Intelligent Systems and Computing, pages 135-150, Springer, 2018. [doi]
Abstract is missing.