IMWTJ
这家伙很懒，什么也没写
Ta上传的资源 (0)
Dynamic Logic
动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础(Foundations of Computing)系列书之一,是动态逻辑领域最经典的教科书。
Abstract State Machines A Method for HighLevel System Design and Analysis
以下内容摘自该书的导言部分：Thisbookintroducesasystemsengineeringmethodwhichguidesthedevelopmentofsoftwareandembeddedhardware{softwaresystemsseamlesslyfromrequireme
the picalculus a theory of mobile processes part2
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
the picalculus a theory of mobile processes缺页部分
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
the picalculus a theory of mobile processes part1
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
Distributed Algorithms并行算法Part2
作者NancyLynch是MIT的一名在并行计算和算法领域内的著名学者。以下内容摘自该书前言：Distributedalgorithmsarealgorithmsdesignedtorunonhardwareconsistingofmanyinterconnectedprocessors...Dis
communicatingandmobilesystems thepi_calculus
此书作者robinmilner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。
AbstractStateMachines SolutionstoExercises
此文件是Abstract State Machine: A Method for High-Level System Design and Analysis一书的习题解