n.a. Alexander, Michael Frank, Gardner, William. Erscheinend. Process Algebra for Parallel and Distributed Processing. Chapman and Hall/CRC Press Computational Science Series, 2008. (Details)