Ábrahám，艾瑞卡;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 Java（_{text{MT}}）的组合操作语义。 （英语） 兹比尔1274.68037 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772290-303（2003）。 概要：除了基于类的面向对象语言的特性外，Java还通过其线程类集成了并发性，允许多线程控制流。并发模型包括通过实例变量的共享变量并发、通过可重入同步监视器的协调、同步消息传递和动态线程创建。本文提出了一种基于类的多线程Java组合操作语义，它为进一步的语义研究（包括继承、子类型和完全抽象）和组合证明系统提供了语义特征和形式化基础。关于整个系列，请参见[Zbl 1045.68009号]. 引用于2文件 MSC公司： 68甲15 编程语言理论 68问题55 计算理论中的语义学 68甲19 其他编程范例（面向对象、顺序、并发、自动等） PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2772290--303（2003年；Zbl 1274.68037） 全文： 内政部