计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系统、非规范进程代数和微观生命系统，以及量子程序设计语言的形式语义。 全书内容丰富，结构严谨，集形式语义学理论及其应用的有关分支之大成，系统地反映了这个领域各方面的研究成果，特别是它的近代发展潮流和趋势，并对不同流派的理论和方法给予了分析和评论。 本书可作为计算机科学专业研究生、本科生有关课程的教材或教学参考书，也可供有关专业或交叉学科的科研人员进修或作为工具书。

都说计算机科学如参天大树直达天际；是谁在关注深达万丈它的理论根系？都说计算机科学如乘龙驹一日千里；又有多少人能一探它的地下王国日新月异？谁说计算机理论只认得工程科技？微如量子秘如生命竟也服从形式语义；数学和逻辑能助你捋清千丝万缕；《计算系统的形式语义》带你明察奥秘！

前言计算系统的形式语义前言 本书是1992年出版的《计算机语言的形式语义》一书（简称1992版）的更新版。在1992版中我们分别介绍了形式语义形式语义的四个主要流派：操作语义、指称语义、公理语义和代数语义，并在此基础上综合阐述了并发和分布式程序分布式程序的形式语义。从该书出版以来，已经二十余年过去了，在此期间，国内外形式语义学的研究有了许多重大的突破。 首先，应该提到的是移动通信的发展促进了一类新的进程代数——π演算的出现和发展，使得用进程代数编写的程序不仅可以在固定网络上运行，而且可以改变通信网络的拓扑结构，并在可变的网络结构上实行通信。围绕π演算出现了许多变种，开展了深入的研究。除了可变的网络结构之外，π演算还创造了其他的手段来改进通信技术。例如，利用π演算，有可能建立专用的私密信道。随着π演算而兴起的环境演算环境演算Ambient甚至可以提供建立网上防火墙的手段。服务于保密通信的Spi演算Spi演算把编码和解码引进了语言之中。带有噪音信道的含噪进程代数有希望把香农的信息论引进进程代数中，从而在两类通信理论之间架起一座桥梁。所有这些使得服务于移动通信的进程代数成了一门单独的学问。 其次，分子生物学是近年来发展最快的研究方向之一。人类基因图谱的测序完成大大推动了基因组学、蛋白质组学，以及系统生物学的研究。恩格斯曾经说过，数学在生物学中的应用为零，但是这样的时代早就过去了。以数学为基础的形式化方法已经深入到生物领域，成为描述微观生命现象的有力手段。特别值得称道的是概率论和随机过程作为重要的数学手段在面向微观生命现象的进程代数理论中发挥了重要作用。除了概率进程代数、随机进程...