Calculus Communicating Systems by Milner (32 results)

- Softcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
£ 32.85
£ 2.75 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
£ 35.12
£ 5.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

- Softcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Very good
£ 43.56
£ 17.13 shippingShips from Germany to U.S.A.Quantity: 2 available
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.63
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.

- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 67.20
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 65.53
£ 2.92 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 184.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 65.15
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks
Contact seller5-star sellerCondition: New
£ 80.27
£ 4.03 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. New Copy. Customer Service Guaranteed.

- Softcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 81.70
£ 5.09 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: New. In shrink wrap. Looks like an interesting title.

- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 84.15
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 174 pages. 9.00x6.00x0.25 inches. In Stock.

- Hardcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
£ 84.72
£ 10.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.18
£ 52.62 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs)…as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.

- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 106.46
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
£ 83.38
£ 31.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780521643207.

- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 103.03
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 115.27
£ 7.70 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. 1999. 1st Edition. Paperback. First account of new theory of communication in computing which describes networks, as well as parts of computer systems. Num Pages: 174 pages, 58 b/w illus. 230 exercises. BIC Classification: UT. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimensio…n: 228 x 152 x 11. Weight in Grams: 258. The Pi Calculus. 174 pages, 58 b/w illus. 230 exercises. First account of new theory of communication in computing which describes networks, as well as parts of computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UT. Dimension: 228 x 152 x 11. Weight: 258. . . . . . Books ship from the US and Ireland.

- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 115.52
£ 8.14 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. First account of new theory of communication in computing which describes networks, as well as parts of computer systems. Num Pages: 176 pages, 58 b/w illus. 230 exercises. BIC Classification: UT. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 233 x 156 x 20. Weight in G…rams: 448. . 1999. Illustrated. hardcover. . . . .

- Softcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 138.27
£ 8.14 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. 1999. 1st Edition. Paperback. First account of new theory of communication in computing which describes networks, as well as parts of computer systems. Num Pages: 174 pages, 58 b/w illus. 230 exercises. BIC Classification: UT. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimensio…n: 228 x 152 x 11. Weight in Grams: 258. The Pi Calculus. 174 pages, 58 b/w illus. 230 exercises. First account of new theory of communication in computing which describes networks, as well as parts of computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UT. Dimension: 228 x 152 x 11. Weight: 258. . . . . .

- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 139.72
£ 7.70 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. First account of new theory of communication in computing which describes networks, as well as parts of computer systems. Num Pages: 176 pages, 58 b/w illus. 230 exercises. BIC Classification: UT. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 233 x 156 x 20. Weight in G…rams: 448. . 1999. Illustrated. hardcover. . . . . Books ship from the US and Ireland.

- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 146.83
£ 5.09 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.

- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 137.61
£ 53.16 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 pro…gram - 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.

- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 194.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Librería La Candela, Murcia, MU, SpainLibrería La Candela
Contact seller5-star seller.- Berlín Heidelberg New York. 1980. Springer - Verlag. 4º menor. VI- 171 pgs. Rústica editorial . Pequeñas imperfecciones superficiales en cubierta anterior. Firma anterior poseedor. Buen estado. . . ISBN 10: 3540102353. Informática.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.18
£ 19.70 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communicat…ion trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion. 184 pp. Englisch.

- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 65.29
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 184 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 69.77
£ 8.52 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 184.

- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 65.21
£ 13.75 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.66
£ 41.95 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.…- 6. Communication trees (CTs) as a mode.

- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.18
£ 51.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication…trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch.