...
机译:概率Pi微积分的Markov抽象
机译:概率PCF的完整抽象
机译:使用随机游戏抽象的概率定时自动机参数综合
机译:概率推理的状态空间抽象:系统综述
机译:线性类型的子类型pi演算中的完全抽象
机译:具有连续参数马尔可夫链和半马尔可夫过程的动态概率系统。
机译:利用中端DNA模式进行序列分类:二进制抽象Markov模型
机译:状态协议的验证 - 应用pi-Calculus中基于集合的抽象
机译:概率风险评估中马尔可夫,半马尔可夫和广义半马尔可夫过程的monte Carlo模拟