FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: