Clarifying and extending the definition of MPI_Comm_disconnect (Georg Bisseling
Fri, 6 Jul 2001 15:59:43 +0200 (MET DST))