Symbolic Timed Trace Equivalence

Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza. Symbolic Timed Trace Equivalence. In Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, editors, Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Volume 11565 of Lecture Notes in Computer Science, pages 89-111, Springer, 2019. [doi]


Abstract is missing.