Title: The Pi-Calculus
Subtitle: A Theory of Mobile Processes
Subjects: Computer science, mathematics