| ||||
| ||||
![]() Title:Pointing to Private Names Conference:DCM 2018 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. Pointing to Private Names ![]() Pointing to Private Names | ||||
Copyright © 2002 – 2025 EasyChair |