Keyword:pi-calculus

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