Communicating and mobile systems the [symbol for pi]- calculus
In this book Robin Milner introduces a new way of modelling communication. He treats computers and their programs as themselves built from communicating parts, rather than adding communication as an extra level of activity. But the aim of the book is to develop a theory, the [pi]-calculus, in which...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge
Cambridge University
1999
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 6584 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218052224.0 | ||
| 008 | s1999 xxka bi 001 0 eng d | ||
| 020 | |a 0521643201 (pbk) | ||
| 020 | |a 0521658691 (pbk) | ||
| 039 | 9 | |a 201403251705 |b zul |c 201310091455 |d shahrim |c 200910081423 |d VLOAD |y 200910081403 |z VLOAD | |
| 040 | |a UPNM | ||
| 090 | |a QA 76.59 |b .M55 1999 | ||
| 100 | 1 | |a Milner, Robin | |
| 245 | 1 | 0 | |a Communicating and mobile systems |b the [symbol for pi]- calculus |c Robin Milner |
| 260 | |a Cambridge |b Cambridge University |c 1999 | ||
| 300 | |a xii, 161 p. |b ill. |c 23 cm. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |a In this book Robin Milner introduces a new way of modelling communication. He treats computers and their programs as themselves built from communicating parts, rather than adding communication as an extra level of activity. But the aim of the book is to develop a theory, the [pi]-calculus, in which these things can be treated rigorously. The [pi]-calculus differs from other models of communicating behaviour mainly | ||
| 650 | 0 | |a Mobile computing. | |
| 650 | 0 | |a Telecommunicating systems. | |
| 650 | 0 | |a Pre-calculus. | |
| 999 | |a vtls000006149 |c 6584 |d 6584 | ||