A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic. A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/NonStochastic Systems. Theoretical Computer Science, 152:171-217, 1995.
[ Partial orders ] [ Scenarios ] [ Unfolding ]
Albert Benveniste http://www.irisa.fr/distribcom
Eric Fabre http://www.irisa.fr/distribcom
@article{tBLevyFabrLGuer95,
Author = {Benveniste, A. and Levy, B.C. and Fabre, E. and Le Guernic, P.},
Title = {A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/NonStochastic Systems},
Journal = {Theoretical Computer Science},
Volume = {152},
Pages = {171--217},
Year = {1995}
}
Get EndNote Reference (.ref)