%0 Journal Article %F benveniste91b %A Benveniste, A. %A Levy, B.C. %A Fabre, E. %A Le Guernic, P. %T A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems %J Theoretical Computer Science %V 152 %N 2 %P 171-217 %8 December %D 1991