"Hide and New in the Pi-Calculus"

Marco Giunti, Catuscia Palamidessi, Frank D. Valencia (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics