Le Guernic, “A Calculus of Stochastic Systems (1995)

by A Benveniste, B C Levy, E Fabre, P
Venue:Specification, Simulation, and Hidden State Estimation,” Theoretical Computer Science