Process Algebra for Parallel and Distributed Processing. Chapman and Hall/CRC Computational Science Series | lit.salon