π-calculus; Abstractions; Binding operator; Bisimulation; Coalgebra

In this paper, we model fresh names in the π-calculus using abstractions with respect to a new binding operator 6. Both the theory and the metatheory of the π-calculus benefit from this simple extension. The operational semantics of this new calculus …