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...
Sparad:
| Huvudupphovsman: | Milner, Robin |
|---|---|
| Materialtyp: | Bok |
| Språk: | Undetermined |
| Publicerad: |
Cambridge
Cambridge University Press
1999
|
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
Liknande verk
-
Modeling complex systems
av: Boccara, Nino
Publicerad: (2004) -
Principles of financial economics
av: Leroy, Stephen F
Publicerad: (2001) -
System dynamics
av: Palm, William J. (William John)
Publicerad: (2005) -
Signals and systems
av: Haykin, Simon
Publicerad: (2004) -
Empirical techniques in finance
av: Bhar, Ramaprasad.
Publicerad: (2005)