Communicating and mobile systems : The π-Calculus
The π-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also descr...
Đã lưu trong:
| 主要作者: | Milner, Robin |
|---|---|
| 格式: | 圖書 |
| 語言: | Undetermined |
| 出版: |
Cambridge
Cambridge University Press
1999
|
| 主題: | |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
相似書籍
-
Modeling complex systems
由: Boccara, Nino
出版: (2004) -
Principles of financial economics
由: Leroy, Stephen F
出版: (2001) -
System dynamics
由: Palm, William J. (William John)
出版: (2005) -
Signals and systems
由: Haykin, Simon
出版: (2004) -
Telecommunications and economic development
由: Saunders, Robert J.
出版: (1994)