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) -
Empirical techniques in finance
由: Bhar, Ramaprasad.
出版: (2005)