Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de biblioth�que avec signature et cachet. BON �tat, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 68 SAN 9780521781770 Sprache: Englisch Gewicht in Gramm: 1100.

Seller Inventory # 2501319

Contact seller

Report this item

Bibliographic Details

Title

The ?-calculus a theory of mobile processes Davide Sangiorgi, David Walker.

Publisher

Cambridge, Cambridge University Press

Publication Date

2001

Language

English

ISBN 10

0521781779

ISBN 13

9780521781770

Binding

Hardcover

Seller catalogs

SA MATHEMATIK

About this title

Synopsis

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.

Review

"Sangiorgi and Walker have written an extremely valuable account of the pi-calculus which should be appreciated by researchers in theoretical computer science and related areas of symbolic logic, as it covers the basic theory rigorously and in great depth. It is a valuable reference for those of us who are active researchers in this area." Symoblic Logic

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Antiquariat Bookfarm
Germany

Sale & Shipping Terms

Terms of Sale

*Instructions for revocation/
Standard Business Terms and customer information/ data protection declaration

Revocation right for consumers
(A ?consumer' is any natural person who concludes a legal transaction which, to an overwhelming extent, cannot be attributed to either his commercial or independent professional activities.)

Instructions for revocation

Revocation right
You have the right to revoke this contract within 30 days without specifying any reasons.
The revocation period is 30 days wi...

More Information

Right of cancellation

Shipping Terms

The flat shipping rates are based on shipments with an average weight. If the book you ordered is particularly heavy or bulky, we will inform you of any additional shipping charges that may apply.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	7 to 14 business days	7 to 14 business days
First item	� 34.71	� 34.71

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Detailed Seller Information