A Distributed Pi-Calculus 2024 pdf epub mobi 電子書 下載

☆☆☆☆☆
簡體網頁||繁體網頁

A Distributed Pi-Calculus pdf epub mobi 著者簡介

---

A Distributed Pi-Calculus pdf epub mobi 圖書描述

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed 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 existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical 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 verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.

A Distributed Pi-Calculus 2024 pdf epub mobi 電子書 下載

---

A Distributed Pi-Calculus pdf epub mobi 圖書目錄

---

下載链接在页面底部

點擊這裡下載

    

---

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

---

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

---

發表於2024-12-18

A Distributed Pi-Calculus 2024 pdf epub mobi 電子書 下載

A Distributed Pi-Calculus 2024 pdf epub mobi 電子書 下載

A Distributed Pi-Calculus 2024 pdf epub mobi 電子書 下載

---

喜欢 A Distributed Pi-Calculus 電子書 的读者还喜欢

A Distributed Pi-Calculus pdf epub mobi 讀後感

圖書標籤: 計算機科學  分布式  分布式與並行  pi演算  Pi演算  Pi-calculus  Distributed  CS   

A Distributed Pi-Calculus pdf epub mobi 用戶評價

A Distributed Pi-Calculus 2024 pdf epub mobi 電子書 下載

• 
  Foundations of Multithreaded, Parallel, and Distributed Programming 2024 pdf epub mobi 電子書 下載
• 
  Distributed Operating Systems 2024 pdf epub mobi 電子書 下載
• 
  Real-Time Systems 2024 pdf epub mobi 電子書 下載
• 
  信息學-奧賽經典 2024 pdf epub mobi 電子書 下載
• 
  信息媒體及其采集 2024 pdf epub mobi 電子書 下載
• 
  全國青少年信息學聯賽培訓教材 2024 pdf epub mobi 電子書 下載
• 
  IRM-KM範式與情報學發展研究 2024 pdf epub mobi 電子書 下載
• 
  信息安全數學基礎 2024 pdf epub mobi 電子書 下載
• 
  高速信號傳輸 2024 pdf epub mobi 電子書 下載
• 
  科學知識圖譜原理及應用——VOSviewer和CitNetExplorer初學者 2024 pdf epub mobi 電子書 下載
• 
  信息學奧賽一本通·提高篇 2024 pdf epub mobi 電子書 下載
• 
  Introduction to the New Statistics 2024 pdf epub mobi 電子書 下載
• 
  語言信息學 2024 pdf epub mobi 電子書 下載
• 
  《智能化未來:“暴力計算”開創的奇跡》 2024 pdf epub mobi 電子書 下載
• 
  情報製勝 2024 pdf epub mobi 電子書 下載
• 
  信息工程概論 2024 pdf epub mobi 電子書 下載
• 
  信息分析 2024 pdf epub mobi 電子書 下載
• 
  信息學奧林匹剋競賽題解精編 2024 pdf epub mobi 電子書 下載
• 
  Graphical Models 2024 pdf epub mobi 電子書 下載
• 
  數學與程序設計 2024 pdf epub mobi 電子書 下載