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...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Milner, Robin
Định dạng: Sách
Ngôn ngữ:Undetermined
Được phát hành: Cambridge Cambridge University Press 1999
Những chủ đề:
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
LEADER 01675nam a2200229Ia 4500
001 CTU_166389
008 210402s9999 xx 000 0 und d
020 |c 105 
082 |a 004.62 
082 |b M659 
100 |a Milner, Robin 
245 0 |a Communicating and mobile systems : 
245 4 |b The π-Calculus 
245 0 |c Robin Milner 
260 |a Cambridge 
260 |b Cambridge University Press 
260 |c 1999 
520 |a 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 describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students. 
650 |a Mobile computing,Telecommunication systems,Pi-calculus,Hệ thống viễn thông 
650 |x Mathematical models,Mathematical models,Mathematical models,Mô hình toán học 
904 |i Bich Tram, Giang 
980 |a Trung tâm Học liệu Trường Đại học Cần Thơ