Pointing to Private Names
Authors: Adrian Francalanza, Marco Giunti and António Ravara
Paper Information
| Title: | Pointing to Private Names |
| Authors: | Adrian Francalanza, Marco Giunti and António Ravara |
| Proceedings: | DCM DCM Pre-proceedingsd |
| Editor: | Sandra Alves |
| Keywords: | Scoped channels, Reduction semantics, Pi-calculus |
| Abstract: | 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. |
| Pages: | 9 |
| Talk: | Jul 08 11:30 (Session 38C) |
| Paper: |  |