顺序程序中的恶魔式、天使式和无界概率选择 电子书下载

原名:Demonic, angelic and unbounded probabilistic choices in sequential programs
作品简介:概率）情况下，我们以一种简单的方式嵌套确定性、恶魔和恶魔/天使模型——程序不再是马尔可夫过程，而是。……