Lubos Brim, Martin Leucker: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128, Elsevier 2005