有限概率过程的测试预序刻画
计算机科学中的逻辑
2015-07-01 v2
摘要
1992年，Wang和Larsen将De Nicola与Hennessy的may-和must-预序扩展到了同时具有概率和非确定性选择的过程。他们留下了两个多年来悬而未决的问题，即找到这些预序的完全公理化以及替代刻画。本文解决了有限过程（含静默移动）的这两个问题。它用模拟关系刻画了may-预序，用失败模拟关系刻画了must-预序。它还使用模态逻辑给出了两种预序的刻画。最后，它在概率版本的CSP上对两种预序进行了公理化。
引用
@article{arxiv.0810.3708,
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
author = {Yuxin Deng and Matthew Hennessy and Rob van Glabbeek and Carroll Morgan},
journal= {arXiv preprint arXiv:0810.3708},
year = {2015}
}
备注
33 pages