Process Algebra for Parallel and Distributed Processing by Ege Rubak | Menrva Books | MenrvaBooks