內容簡介
計算繫統的形式語義是目前計算機科學理論研究的兩大方向之一，其研究成果對程序設計語言、編譯技術、應用軟件、分布式繫統等分支領域有重大的實際意義。本書大體上分為三個部分。靠前部分是數學基礎，為靠前章。第二部分包括第二到第五章，概述了形式語義中的操作語義、指稱語義、公理語義和代數語義四大經典流派。第三部分包括第六到第九章，概述了形式語義學的現代應用， 分別介紹分布式繫統、移動計算和移動通信繫統、非規範進程代數和微觀生命繫統，以及量子程序設計語言的形式語義。全書內容豐富，結構嚴謹，集形式語義學理論及其應用的有關分支之大成，繫統地反映了這個領域各方面的研究成果，特別是它的近代發展潮流和趨勢，並對不同流派的理論和方法給予了分析和評論。本書可作為計算機科學專業研究生、本科生有關課程的教材或教學參考書，也可供有關專業或交叉學科的科研人員進修或作為工具書。
