Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W., & Amadio, R. (2002). On Name Generation and Set-Based Analysis in the Dolev-Yao Model. In CONCUR 2002 - Concurrency Theory. 13th International Conference (pp. 499-514). Berlin, Germany: Springer.