Guido Wirtz. Extracting and Testing the Externally Observable Behaviour of Parallel Modules. In Erik H. D'Hollander, Gerhard R. Joubert, Frans J. Peters, Denis Trystram, editors, Parallel Computing: State-of-the-Art and Perspectives, Proceedings of the conference ParCo 1995, Gent, Belgium, September 1995. Volume 11 of Advances in Parallel Computing, pages 391-398, Elsevier, 1995.
Abstract is missing.