tech,12-2-P06-4014,ak | <term> symbolic resources </term> and <term> | stochastic processes | </term> . A research program is described | #12759 The demonstrator embodies an interesting combination of hand-built, symbolic resources and stochastic processes . |