Description

Book Synopsis
Robin Milner introduces a new way of modelling communication that reflects its central position in computing. Everything is introduced by means of examples but the aim of the book is to develop the p-calculus, a theory whose scope includes the internet just as much as programs, algorithms and programming languages.

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

Table of Contents
Glossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The π-Calculus: 8. What is mobility? 9. The π-calculus and reaction; 10. Applications of the π-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index.

Communicating and Mobile Systems

    Product form

    A Hardback by Robin Milner

    £90.99

    Includes FREE delivery

    Order before 4pm today for delivery by Thu 3 Sep 2026.

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Communicating and Mobile Systems by Robin Milner

      Book details

      Publisher Cambridge University Press
      Published 5/20/1999 12:00:00 AM
      ISBN-13 9780521643207
      978-0521643207
      ISBN-10 0521643201
      Also in:
      Computer networking and communications

      Description

      Book Synopsis
      Robin Milner introduces a new way of modelling communication that reflects its central position in computing. Everything is introduced by means of examples but the aim of the book is to develop the p-calculus, a theory whose scope includes the internet just as much as programs, algorithms and programming languages.

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

      Table of Contents
      Glossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The π-Calculus: 8. What is mobility? 9. The π-calculus and reaction; 10. Applications of the π-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account