HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Marco Giunti

Publications
Pointing to Private Names
Adrian Francalanza, Marco Giunti and António Ravara
EasyChair Preprint 439

Keyphrases

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

Copyright © 2012-2025 easychair.org. All rights reserved.