"On the Expressiveness of Infinite Behavior and Name Scoping in Process ..."

Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics