On the Expressiveness of Infinite Behavior andName Scoping in Process Calculi

1 Introduction The study of concurrency is often conducted with the aid of process calculi. Undoubt-edly CCS [9], a calculus for synchronous communication, remains a standard representative. In fact, many foundational ideas in the theory of concurrency have grown out ofthis calculus