From a concurrent -calculus to the ��-calculus (1995)

by R Amadio, L Leth, B Thomsen
Venue:FCT'95, Lecture Notes in Comput. Sci. 965