分布式Pi演算

《分果育黑松基升助溶卷布式Pi演算(ADistributedPi-Calculus)》是出版时间年CambridgeUniversit来自yPress出版社出版的图书，作者是Ma360百科tthewHennessy(马修·亨尼西)。

• 书名 分布式Pi演算 
• 作者 Matthew Hennessy(马修·亨尼西) 
• 原版名称 A Distributed Pi-Calculus
• 出版社 Cambridge University Press

基本信息

来自　　作 者/Author: Matthew Hennessy(马修·亨尼西) 著 出 版 社/Publisher: Cambridge University Press

　　中文书名/Chinese T360百科itle: 分布式Pi演算

　　ISBN: 9780521873307

　　出版时间/Publication Date: 2007-03-08

　　页 数/Pages: 278

　　际况球百困苗即步须装 帧/Format: 精装

火一操车反字热侵　　正文语种/Language: 英文

内容简介

　　Distributed systems are fast becoming the nor语轴优经仅右她养散m in computer science. Formal mathematical models and theories of distri练破脚冲鲁buted behaviour 时与晚并九爱are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an exi既去巴查sting for比mal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematica移厂协l theory of the behaviour of these distributed systems is developed, in which the presence of types plays 甚决美搞损未毫己必架a major role. It is also shown how in principle this theory can be used to develop ver困ification techniques for guaranteeing 希术害早的the behavior of di呼看stributed agents. The tex袁被t is accessible t践点赶击看介群略角雷o computer s一棉得价支找距孔末cientists with a minimal background in 是学客单坚尼率口帮模死discrete mathematics. It contains an elementar便述科席块控诉求难会独y account of the pi-calcu态破与活送春穿使收烈修lus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.