Download PDFOpen PDF in browser

Pointing to Private Names

EasyChair Preprint no. 439

9 pagesDate: August 17, 2018


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: label uniqueness, pi-calculus, private name, reduction semantics, Scoped channels

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Adrian Francalanza and Marco Giunti and António Ravara},
  title = {Pointing to Private Names},
  howpublished = {EasyChair Preprint no. 439},
  doi = {10.29007/bv4d},
  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser