The join calculus: A language for distributed mobile programming (2000)

by C Fournet, G Gonthier
Venue:In Proc. APPSEM, LNCS