On the reachability problem in cryptographic protocols. (2000)

by Roberto M Amadio, Denis Lugiez
Venue:In CONCUR ’00: Proceedings of the 11th International Conference on Concurrency Theory,