Overview

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

ISBN-13

9780521543279

ISBN-10

0521543274

Weight

2.39 Pounds

Dimensions

7.44 x 1.35 x 9.69 In

List Price

$59.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

596 pages

Publisher

Cambridge University Press

Published On

2003-10-16



View All Offers

Sort by:

Rows per page:

1–5 of 5

Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Michael Knight, Bookseller
★★★★★

Forest Grove, OR, USA

Paperback. Highlighting to pages. Binding solid.
$73.01

 Free delivery by: 31 Mar 2026

Used, Like New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$99.86

 Free delivery by: 31 Mar 2026

Brand New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$108.45

 Free delivery by: 31 Mar 2026

Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$133.31

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.