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

by C Fournet, G Gonthier
Venue:In In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha