18 Initializing and instrumenting the distribution layer: DPInit

This module is deprecated. The initialization of the distribution layer is now part of module DP (Section 11.1).


Denys Duchier, Leif Kornstaedt, Martin Homik, Tobias Müller, Christian Schulte and Peter Van Roy
Version 1.4.0 (20080702)