Keyword:pi-calculus

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