Trees from Functions as Processes.

Davide Sangiorgi, Xian Xu

Browse the full CONCUR paper archive.