On the reachability problem in cryptographic protocols (0)

by R Amadio, D Lugiez
Venue:in: International Conference on Concurrency Theory, 2000