Maryam Dabaghchian, Zvonimir Rakamaric. A timeless model for the verification of quasi-periodic distributed systems. In Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo, editors, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM, 2019. [doi]
Abstract is missing.