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

Full description

Bibliographic Details

Main Author:	Milner, Robin
Format:	Book
Language:	English
Published:	Cambridge Cambridge University 1999
Subjects:	Mobile computing. Telecommunicating systems. Pre-calculus.
Tags:	Add Tag No Tags, Be the first to tag this record!