Items related to Communicating and Mobile Systems: The Pi-Calculus

Communicating and Mobile Systems: The Pi-Calculus - Softcover

 
9780521658690: Communicating and Mobile Systems: The Pi-Calculus

Synopsis

First account of new theory of communication in computing which describes networks, as well as parts of computer systems.

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

Product Description

First account of new theory of communication in computing which describes networks, as well as parts of computer systems.

Review

'... may well become the standard work on the π-calculus.' Martin Hoffman, Zentralblatt MATH

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

Buy Used

Condition: Good
Pages can have notes/highlighting...
View this item

£ 3.59 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 2.49 shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780521643207: Communicating and Mobile Systems: The Pi Calculus

Featured Edition

ISBN 10:  0521643201 ISBN 13:  9780521643207
Publisher: Cambridge University Press, 1999
Hardcover

Search results for Communicating and Mobile Systems: The Pi-Calculus

Stock Image

Milner, Robin
Published by Cambridge University Press, 1999
ISBN 10: 0521658691 ISBN 13: 9780521658690
Used Paperback

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.53. Seller Inventory # G0521658691I3N00

Contact seller

Buy Used

£ 20.58
Convert currency
Shipping: £ 3.59
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Milner, Robin
Published by Cambridge University Press, 1999
ISBN 10: 0521658691 ISBN 13: 9780521658690
Used Softcover

Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # wbs6949189000

Contact seller

Buy Used

£ 32.14
Convert currency
Shipping: £ 2.20
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Milner, Robin
ISBN 10: 0521658691 ISBN 13: 9780521658690
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9780521658690

Contact seller

Buy New

£ 58.99
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Robin Milner
Published by Cambridge University Press, 1999
ISBN 10: 0521658691 ISBN 13: 9780521658690
New Paperback / softback
Print on Demand

Seller: THE SAINT BOOKSTORE, Southport, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 300. Seller Inventory # C9780521658690

Contact seller

Buy New

£ 61.76
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Milner, Robin
Published by Cambridge University Press, 1999
ISBN 10: 0521658691 ISBN 13: 9780521658690
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9780521658690_new

Contact seller

Buy New

£ 62.27
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Robin Milner
Published by Cambridge Univ Pr, 1999
ISBN 10: 0521658691 ISBN 13: 9780521658690
New Paperback
Print on Demand

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 174 pages. 9.00x6.00x0.25 inches. In Stock. This item is printed on demand. Seller Inventory # __0521658691

Contact seller

Buy New

£ 56.65
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Robin Milner-Gulland
ISBN 10: 0521658691 ISBN 13: 9780521658690
New Paperback

Seller: CitiRetail, Stevenage, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. The pi-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. Communication is a fundamental and integral part of computing, whether between different computers on a network, or between components within a single computer. In this book Robin Milner introduces a new way of modelling communication that reflects its position. He treats computers and their programs as themselves built from communicating parts, rather than adding communication as an extra level of activity. Everything is introduced by means of examples, such as mobile phones, job schedualers, vending machines, data structures, and the objects of object-oriented programming. 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 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 welcome by them, and their students. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521658690

Contact seller

Buy New

£ 66.49
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Robin Milner
Published by Cambridge University Press, GB, 1999
ISBN 10: 0521658691 ISBN 13: 9780521658690
New Paperback

Seller: Rarewaves.com UK, London, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: New. The pi-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. Seller Inventory # LU-9780521658690

Contact seller

Buy New

£ 70.30
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Milner, Robin
Published by Cambridge University Press, 1999
ISBN 10: 0521658691 ISBN 13: 9780521658690
New Paperback

Seller: GoldBooks, Denver, CO, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # 56O81_17_0521658691

Contact seller

Buy New

£ 48
Convert currency
Shipping: £ 23.06
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Milner, Robin
Published by Cambridge University Press, 1999
ISBN 10: 0521658691 ISBN 13: 9780521658690
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9780521658690

Contact seller

Buy New

£ 65.13
Convert currency
Shipping: £ 7.44
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 11 more copies of this book

View all search results for this book