>>80
3. Handbook of Process Algebra が一冊あれば事足りる.高いけど.
初心者なら 2. Introduction to Process Algebra が読みやすいです.