From higher-order π-calculus to π-calculus in the presence of static operators (1998)

by José-Luis Vivas, Mads Dam
Venue:In CONCUR ’98: Concurrency Theory. Proceedings of the 9th International Conference, Lecture Notes in Computer Science 1466