机译:具有值传递和弱时间限制的随机过程代数
stochastic process algebravalue passingequivalencebisimulationweak time restriction.;
机译:具有值传递和弱时间限制的随机过程代数
机译:具有值传递和弱时间限制的随机过程代数
机译:基于离散实时和随机过程代数的分布式系统性能评估
机译:随机过程代数,具有价值通过
机译:Lévy过程驱动的随机微分方程的数值弱近似
机译:使用随机过程代数PEPA的临床路径建模和性能分析
机译:离散实时和随机过程代数用于分布式系统的性能分析