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...
Сохранить в:
| Главный автор: | Milner, Robin |
|---|---|
| Формат: | |
| Язык: | Undetermined |
| Опубликовано: |
Cambridge
Cambridge University Press
1999
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| 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)