反应式和并发系统的时序逻辑

图书标准信息

• 作者 （美）佐哈尔·曼纳（Zohar Manna），（以）艾米尔·伯努利（Amir Pnueli），张广泉
• 出版社 清华大学出版社
• 出版时间 2023-12
• 版次 1
• ISBN 9787302644972
• 定价 79.00元
• 装帧 平装
• 开本 16开
• 页数 236页
• 字数 362千字

【内容简介】

反应式和并发系统指实时运行的计算系统，如作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂，在交互时间上的变化可能导致接近不同的行为。
时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属。它提供了一种简单、自然但准确的方式来讨论交互发生的顺序，而无须采用时间度量。
本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。
本书是国际有名计算机科学家zohar manna和amir pnueli（图灵奖得主）的代表作，适合作为计算机、软件工程、人工智能、自动化等专业高年级本科生、的教材或参书，也可供相关领域的研究人员和技术开发人员参。

【目录】

第ⅰ部分并发模型

章基本模型3

1.1通用模型4

1.1.1基础语言4

1.1.2基本转换系统5

1.1.3转换关系ρτ6

1.1.4使能与非使能转换7

1.1.5空转换与勤勉转换7

1.1.6计算7

1.1.7具体模型8

1.2模型1:转换图8

1.2.1声明9

1.2.2进程10

1.2.3基本转换系统图10

1.2.4用交错表示并发13

1.2.5调度14

1.3模型2:共享变量文本14

1.3.1简单语句14

……