From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators.

Jos-Luis Vivas, Mads Dam

Browse the full CONCUR paper archive.