测试反应式概率进程
计算机科学中的逻辑
2010-06-29 v1
摘要
我们为反应式概率进程（即内部非确定性源于随机行为的进程）定义了De Nicola和Hennessy意义上的测试等价。我们通过就绪迹（ready-traces）刻画了该测试等价。从该刻画可知，该等价对内部概率选择发生的精确时间点不敏感，这一特性源自De Nicola和Hennessy的原始测试等价。我们还证明了对于完整模型可能未知的有限系统，该测试等价是可判定的。
引用
@article{arxiv.1006.5100,
title = {Testing Reactive Probabilistic Processes},
author = {Sonja Georgievska and Suzana Andova},
journal= {arXiv preprint arXiv:1006.5100},
year = {2010}
}