%0 Conference Proceedings %F benveniste92d %A Benveniste, A. %T Constructive Probability and the Signalea language : building and handling random process via programming %B Workshop on theory of Hybrid Systems %8 October %D 1992