HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Marco Giunti

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

Keyphrases

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

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