An introduction to the pi-calculus (2001)

by Joachim Parrow
Venue:Handbook of Process Algebra