A Distributed Pi-Calculus – Hennessy by Book-drive