loading
Sách, tuyển tập

Communicating and mobile systems : : The π-Calculus / Robin Milner

Tác giả : Robin Milner

Nhà xuất bản : Cambridge University Press

Năm xuất bản : 1999

Nơi xuất bản : Cambridge

Mô tả vật lý : xii, 161 p. : ill. ; 24 cm

ISBN : 0521658691

Số phân loại : 004.62

Chủ đề : 1. Hệ thống viễn thông -- Mô hình toán học. 2. Mobile computing -- Mathematical models. 3. Pi-calculus -- Mathematical models. 4. Telecommunication systems -- Mathematical models. 5. Hệ thống viễn thông. 6. Mạng máy tính.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

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.
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện đại học Cần Thơ
https://lrcopac.ctu.edu.vn/pages/opac/wpid-detailbib-id-166389.html

 

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Network+ fast pass / Bill Ferguson

Tác giả : Bill Ferguson

Nhà xuất bản : Sybex

Năm xuất bản : 2005

placeholder+image

Sách, tuyển tập

Nghiên cứu xây dựng hệ thống phần mềm truyền dữ liệu và hiển thị từ xa hệ thống mạng không dây và di động : : Đề tài nghiên cứu khoa học cấp trường / Đoàn Hoà Minh (Chủ nhiệm đề tài) . Mã số: T2010-31

Tác giả : Đoàn Hoà Minh (Chủ nhiệm đề tài) .

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2010

placeholder+image

Sách, tuyển tập

Mobile disruption : : the technologies and applications driving the mobile Internet / Jeffrey L. Funk.

Tác giả : Jeffrey L. Funk.

Nhà xuất bản : Wiley

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Wireless networking visual quick tips / by Rob Tidrow

Tác giả : by Rob Tidrow

Nhà xuất bản : Wiley Pub.

Năm xuất bản : 2006

placeholder+image

Sách, tuyển tập

CCNA intro : : Introduction to Cisco networking technologies study guide / Todd Lammle

Tác giả : Todd Lammle

Nhà xuất bản : Wiley Pub.

Năm xuất bản : 2006