机译:马尔可夫过程代数中微分聚合的统一框架
机译:差分代数系统的双刺激等价性(Vol 91,PG 45,2016)
机译:差分代数系统的双刺激等价
机译:Markovian Process代数的差异分配
机译:随机微分方程定义的几类非马尔可夫随机过程的参数估计。
机译:马尔可夫和非马尔可夫蛋白质序列进化:聚集的马尔可夫过程模型
机译:并行过程的弱Markovian双仿真同余和精确的CTMC级聚合
机译:完全axiomatisations的弱, - ,延迟和Eta - 双模拟过程211代数与数据的替代量化。软件工程