On the reachability problem in cryptographic protocols (0)

by R Amadio, D Lugiez
Venue:International Conference in Concurrency Theory, volume 1877 of Lecture Notes in Computer Science