プロセス代数に興味を持ったけど今のところ日本語で
読めるものは皆無ですよね。やっぱり英語の本を買うしかないかな？
http://www.amazon.co.jp/exec/obidos/search-handle-url/index=books-us&rank=+salesrank&field-keywords=process%20algebra&bq=1/ref=sr_aps_alleb__/249-9422025-1082728
これらの中でお勧めの一冊とかあれば教えてください。