Tags:label uniqueness, Pi-calculus, private name, Reduction semantics and Scoped channels
Abstract:
Scoped channels, in the pi-calculus, are not nameable, as they are bound and subject to alpha-renaming. For program analysis purposes, however, to identify properties of these channels, it is necessary to talk about them. We present herein a method for uniquely identifying scoped channels.