Damián Aparicio-Sánchez, Santiago Escobar 0001, Catherine A. Meadows, José Meseguer, Julia Sapiña. Protocol Analysis with Time and Space. 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 22-49, Springer, 2021. [doi]
Abstract is missing.