C.E.马丁。;南卡罗来纳州柯蒂斯。;我·雷维茨基。 用多重关系模拟天使和恶魔的不确定性。 (英文) Zbl 1106.68023号 科学。计算。程序。 65,第2期,140-158(2007). 摘要:本文介绍了一种二进制多重关系演算,它可以模拟天使和恶魔两种不确定性。上闭多重关系和单调谓词变换之间的同构允许对程序转换有不同的看法,在某些情况下,使用多重关系进行程序转换计算更容易执行。通过对游戏中的非确定性行为和资源共享协议进行建模,可以说明多重关系。 引用于1审查引用于10文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68甲18 函数编程和lambda演算 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:多重关系;谓词变换器;代理人;最强后条件;天使不确定性;恶魔般的不确定性;资源共享 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Martin}等人,科学。计算。程序。65,No.2,140--158(2007;Zbl 1106.68023) 全文: 内政部