Distributed Pi-Calculus~tqw~ darksiderg

• Torrent:
  Distributed Pi-Calculus~tqw~ darksiderg
• Change name:
  You need to register
• Category:
  Other / Books
• Change cat.:
  You need to register
• Private Client:
  Hide your personal activity while downloading torrents with TorrentPrivacy.com
• Size:
  2.8 MB
• Seeds/Leechs:
  4/1 Check it now
• Added:
  10/02/2008
• Last check:
  2009-06-08 18:42:23
• Tracker:
  http://www.h33t.com:3310
• Comments:
  *******************************************************************************<br /> Distributed Pi-Calculus <br /> *******************************************************************************<br /> <br /> -------------------------------------------------------------------------------<br /> General Information<br /> -------------------------------------------------------------------------------<br /> Type.................: Ebook<br /> Part Size............: 2,970,117 bytes<br /> <br /> -------------------------------------------------------------------------------<br /> Post Information<br /> -------------------------------------------------------------------------------<br /> Posted by............: ~tqw~<br /> <br /> -------------------------------------------------------------------------------<br /> Release Notes<br /> -------------------------------------------------------------------------------<br /> Distributed systems are fast becoming the norm in computer science. Formal <br /> mathematical models and theories of distributed behaviour are needed in order to <br /> understand them. This book proposes a distributed pi-calculus called Dpi, for <br /> describing the behaviour of mobile agents in a distributed world. It is based on <br /> an existing formal language, the pi-calculus, to which it adds a network layer <br /> and a primitive migration construct. A mathematical theory of the behavior of <br /> these distributed systems is developed, in which the presence of types plays a <br /> major role. It is also shown how in principle this theory can be used to develop <br /> verification techniques for guaranteeing the behavior of distributed agents. The <br /> text is accessible to computer scientists with a minimal background in discrete <br /> mathematics. It contains an elementary account of the pi-calculus, and the <br /> associated theory of bisimulations. It also develops the type theory required by <br /> Dpi from first principles. <br /> <br /> Table Of Contents<br /> <br /> Preface ix<br /> Acknowledgements xvii<br /> 1 Inductive principles 1<br /> 2 The asynchronous PI-CALCULUS 10<br /> 3 Types for API 55<br /> 4 Types and behaviour in aPi 96<br /> 5 A distributed asynchronous PI-CALCULUS 124<br /> 6 Behavioural equivalences for aDpi 194<br /> Sources 244<br /> List of figures 248<br /> Notation 250<br /> Bibliography 254<br /> Index 257<br /> <br /> Product Details<br /> <br /> * ISBN: 0521873304<br /> * ISBN-13: 9780521873307<br /> * Format: Hardcover, 259pp<br /> * Publisher: Cambridge University Press<br /> * Pub. Date: February 2007<br /> <br /> -------------------------------------------------------------------------------<br /> Install Notes<br /> -------------------------------------------------------------------------------<br /> PDF Reader
• Change comment:
  You need to register
• Alternative download:
  Distributed Pi-Calculus~tqw~ darksiderg might also be available on Usenet. Get the UseNet Client - Highspeed Access To 300TB of Videos, Games and Music!

Files

File	Size
Distributed Pi-Calculus~tqw~_darksiderg.nfo	2.7 KB
Distributed Pi-Calculus~tqw~_darksiderg.pdf	2.8 MB
tracked_by_h33t_com.txt	0 KB

Related torrents