Pai-calculus: a theory of mobile processes - Sangiorgi Davide; Walker David (Cambridge CUP, 2001)
Keywords: Calculus