Proving Properties of PVM Applications - A Case Study with CoCheck. - Jürgen Menden; Georg Stellner (PVM, 1996)