Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. On the Complexity of Verification of Time-Sensitive Distributed Systems. In Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe, editors, Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Volume 13066 of Lecture Notes in Computer Science, pages 251-275, Springer, 2021. [doi]
Abstract is missing.