%0 Journal Article %F tBLevyFabrLGuer95 %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 %P 171-217 %D 1995 %K Partial orders %K scenarios %K unfoldings