Process Algebra for Parallel and Distributed Processing by Adrian Baddeley | Menrva Books | MenrvaBooks