Pointing to Private Names

EasyChair Preprint 439

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.

Keyphrases: Scoped channels, label uniqueness, pi-calculus, private name, reduction semantics

@booklet{EasyChair:439,
  author    = {Adrian Francalanza and Marco Giunti and António Ravara},
  title     = {Pointing to Private Names},
  doi       = {10.29007/bv4d},
  howpublished = {EasyChair Preprint 439},
  year      = {EasyChair, 2018}}