Process algebra for parallel and distributed processing / - London : CRC Press , 2009. - xii+415

9781420064865