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

Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia

Browse the full FOSSACS paper archive.