Publication | Closed Access

Non-expansive <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>ϵ</mml:mi></mml:math>-bisimulations for probabilistic processes

Stochastic SimulationMath XmlnsEngineeringProbabilistic SystemStochastic ProcessesProbabilistic ComputationProbability TheoryProbabilistic Programming