检验概率过程：随机选择是不可观测的吗？
Testing Probabilistic Processes: Can Random Choices Be Unobservable?
摘要：
基于可观察性和测试的过程语义背后的一个中心范式是，内部不确定性选择发生的确切时刻是不可观察的。因此，当内部选择被概率量化时，这一性质自然成立。然而，自从概率被引入到过程语义中以来，在不违反过程论和概率论的其他定律的情况下，保持随机选择的不可观察性一直是一个挑战。本文针对这一问题。它提出了两种语义的内部不确定性已量化的概率过程。第一个是基于测试的概念，即过程与其环境之间的相互作用。第二种是基于可观察性概念的概率就绪跟踪语义。两者都是一致的。它们也保存在标准运算符下。
英文摘要：
A central paradigm behind process semantics based on observability and testing is that the exact moment of occurring of an internal nondeterministic choice is unobservable. It is natural, therefore, for this property to hold when the internal choice is quantified with probabilities. However, ever since probabilities have been introduced in process semantics, it has been a challenge to preserve the unobservability of the random choice, while not violating the other laws of process theory and probability theory. This paper addresses this problem. It proposes two semantics for processes where the internal nondeterminism has been quantified with probabilities. The first one is based on the notion of testing, i.e. interaction between the process and its environment. The second one, the probabilistic ready trace semantics, is based on the notion of observability. Both are shown to coincide. They are also preserved under the standard operators.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
