The re exive CHAM and the join-calculus (1996)

by C Fournet, G Gonthier
Venue:Proc. 23rd Annual ACM Symp. on Principles of Programming Languages