課本

最後受不了還是去借課本回來看：Robin Milner 的《Communicating and Mobile Systems: the Pi-Calculus》，1999 年出版，很新的書。

--
看起來會有比較入門級的介紹 XD。