非确定性与概率过程的强行为等价谱

我们提出了一类针对活动完全可观测的非确定性与概率过程的基于迹、测试及互模拟的等价谱。对于所研究的每种等价关系，我们考察了三种变体的区分能力；这三种变式源于三种不同的方法，其差异在于当通过确定性调度器解析非确定性选择时，如何比较事件的概率。我们表明，第一种方法——相对于所有考虑事件的概率分布来比较两个解析结果——产生的谱片段与全概率过程的行为等价谱相容。相比之下，第二种方法——将某个解析结果中事件的概率与可能不同解析结果中相同事件的概率进行比较——产生了由更粗粒度等价关系组成的另一个片段，该片段展现出与全非确定性过程行为等价谱的若干相似性。最后，第三种方法——仅比较源自不同解析结果的每个事件的极值概率——产生了甚至更粗粒度的等价关系，然而其产生的层次结构与第二种方法所产生的层次结构相似。