中基尔胡尔;德雷克·德雷尔;乔治·奈斯;维克托·瓦菲亚迪斯 相互模拟和克里普克逻辑关系的结合。 （英文） Zbl 1321.68198号 2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。59-72 (2012). 引用于1审查引用于9文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70号 计算机科学中的逻辑 第68页第15页 编程语言理论 68甲18 函数编程和lambda演算 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：克里普克逻辑关系;抽象类型;互模拟;上下文等价;全球知识与本地知识;高阶状态;递归类型;关系转换系统;及物性 PDF格式BibTeX公司 XML格式引用 \textit｛C.-K.Hur｝等人，在：第39届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22-28日。纽约州纽约市：计算机协会（ACM）。59-72（2012年；兹bl 1321.68198） 全文： DOI程序