G·德尔扎诺。;D.加尔米奇。;马泰利，M。 并发面向对象编程的规范逻辑。 （英语） Zbl 0931.68066号 数学。结构。计算。科学。 9，第3期，253-286（1999）. 摘要：本文重点讨论了如何使用线性逻辑作为高级编程概念（如并发和面向对象）的操作语义的规范语言。我们的方法基于逻辑编程的证明理论特征，对线性逻辑序列计算进行了改进。将使用高阶逻辑编程和线性逻辑的良好组合，对并发面向对象编程语言的传统特性进行准确编码，这些语言的核心是封装的概念。 引用于三文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B70号 计算机科学中的逻辑 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：规范语言;操作语义学;封装 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人，《数学》。结构。计算。科学。9，第3号，253--286（1999；Zbl 0931.68066） 全文： 内政部