Symbolic Timed Trace Equivalence

Vivek Nigam, Carolyn Talcott and Abraão Aires Urquiza

Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, pp. 89–111

2019 · doi: 10.1007/978-3-030-19052-1\_8