Johann、Simpson和Voigtländer的“通用操作元理论”（LiCS 2010）定义了在存在代数效应的情况下，根据地面类型效应树上的基本操作预序来定义上下文等效。我们提出了三种通用的方法来指定这种预序：（i）操作（ii）指称，（iii）公理；与程序语义的三种主要风格相一致。我们通过一个非平凡的案例研究来说明这些：概率选择与不确定性的结合，对于这一点，我们表明三种规范方法的自然实例化（根据马尔可夫决策过程进行操作，使用幂域的指称，以及公理）都决定了相同的规范前序。我们在天使和恶魔不确定性的情况下都这样做。 上下文等价 代数效应 操作语义学 领域理论 不确定性 概率选择 马尔可夫决策过程 计算理论~操作语义 计算理论~指称语义 计算理论~公理语义 29:1-29:17 普通纸张 阿利奥姆 洛佩兹 阿利亚姆·洛佩兹 法国巴黎萨克莱大学巴黎萨克利师范学院 亚历克斯 辛普森 亚历克斯·辛普森 斯洛文尼亚卢布尔雅那大学数学和物理系 10.4230/LIPIcs公司。CSL.2018.29号文件 U.Dal Lago、F.Gavazzo和P.Blain Levy。有效的应用双相似性：单数、关系数和豪氏方法。2017年第32届计算机科学逻辑年度研讨会论文集。 让·古堡-拉雷克。PCF I的非确定性和概率扩展的完全抽象：天使案例。《程序设计中的逻辑和代数方法杂志》，84:155-1842015年。 让·古堡-拉雷克。混合选择模型之间的同构定理。计算机科学中的数学结构，27（6）：1032-10672017。 雷霍德·赫克曼（Reinhold Heckmann）。概率域。《CAAP’94会议录》，计算机科学讲稿第787页。斯普林格，1994年。 马丁·海兰德（Martin Hyland）、戈登·普洛特金（Gordon Plotkin）和约翰·鲍尔（John Power）。组合效果：总和和张量。理论计算机科学，357（1）：70-992006。 Patricia Johann、Alex Simpson和Janis Voigtländer。代数效应的通用操作元理论。2010年7月，第25届IEEE计算机科学逻辑年会，第209-218页。 克劳斯·凯梅尔（Klaus Keimel）和戈登·普洛金（Gordon D.Plotkin）。概率和不确定性的混合幂域。《计算机科学中的逻辑方法》，13（1），2017年。 德克斯特·科赞。概率PDL。计算机与系统科学杂志，30（2）：162-1781985。 安娜贝拉·麦克维尔（Annabelle McIver）和卡罗尔·摩根（Carroll Morgan）。概率系统的抽象、精化和证明。计算机科学专著。斯普林格，2005年。 Matteo Mio。上预期双相似性和łukasiewiczμ-演算。《软件科学和计算结构基础——第17届国际会议》，FOSSACS 2014，第335-350页，2014年。 迈克尔·米斯洛夫。支持非确定性和概率选择的模型。在JoséRolim，编辑，《并行和分布式处理：15个IPDPS 2000研讨会》，墨西哥坎昆，2000年5月1日至5日，《论文集》，第993-1000页。施普林格-柏林-海德堡，柏林，海德堡。 迈克尔·米斯洛夫、乔·瓦克宁和詹姆斯·沃雷尔。概率和不确定性公理。理论计算机科学电子笔记，96:7-282004。 戈登·普洛金和约翰·鲍尔。代数效应的充分性。在软件科学和计算结构基础国际会议上，第1-24页。斯普林格，2001年。 戈登·普洛金和约翰·鲍尔。计算的概念决定单子。在软件科学和计算结构基础国际会议上，第342-356页。斯普林格，2002年。 戈登·普洛特金和马蒂亚·普雷特纳。代数效应的逻辑。2008年第23届计算机科学逻辑年度研讨会论文集。 安德烈亚·沙尔克（Andrea Schalk）。广义幂结构代数。博士论文，TH Darmstadt，1993年。 亚历克斯·辛普森（Alex Simpson）和尼尔·沃诺内维尔（Niels Voorneveld）。通过代数效应的模态实现行为等效。第27届欧洲程序设计研讨会（ESOP）会议记录。施普林格，2018年。 迈克尔·B·史密斯。功率域和谓词变换器：拓扑视图。1983年ICALP自动化、语言和编程国际学术讨论会论文集，《计算机科学讲义》第154卷，第662-675页。斯普林格，1983年。 萨姆·斯塔顿。计算效果的实例。2013年第28届计算机科学逻辑年度研讨会论文集。 Regina Tix、Klaus Keimel和Gordon Plotkin。结合概率论和非确定性的语义域。《理论计算机科学电子笔记》，222:3-992009。 丹尼尔·瓦拉卡和格林·温斯克。在不确定性上分配概率。计算机科学中的数学结构，16（1），2006。 阿利奥梅·洛佩兹和亚历克斯·辛普森 Creative Commons Attribution 3.0未出口许可证 https://creativecommons.org/licenses/by/3.0/legalcode