Communicating and Mobile Systems: The Pi-Calculus

著者 : RobinMilner

• Cambridge University Press (1999年6月15日発売)

感想・レビュー・書評

[什一.さんの感想 · 2020年4月9日]

并发程序理论模型Pi-Calculus

[katie1223さんの感想 · 2013年1月13日]

興味範囲が変わったので断念。用事があれば後日再読。
主にセルオートマトンのはなし。