The Join-Calculus: a Calculus for Distributed Mobile Programming (1998)

by C Fournet