Joint work with Erik de Vink (at KPN Research by that time)

To model discrete probabilistic choices summation of measures can be used. For continues choices, e.g. selection of a number in [0,1], integration is required. To enable the use of integration, stochastic kernels are introduced. The use of these kernels in giving operational and denotational semantics is illustrated for a finite' language. To prepare for the modeling ofinfinite' language, e.g. with recursion, a metric is defined on the kernels. Some open issues that remain with the application of this metric are discussed.