FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Introduction to Concurrency Theory

Roberto Gorrieri
    Product form
      FORMAT: Paperback / softback
      YOU COULD EARN 0 FUTURE RETAIL DISCOUNTS.

      This product is either out of print or out of stock. Add it to your wishlist and we will automatically let you know if it comes back into stock. Add to Wishlist

      ESTIMATED DELIVERY: Possibly out of print
      BUY NOW PAY LATER
      From R 0.00 per month!
      3x monthly payments of R 0.00 with
      4x fortnightly payments of R 0.00 with

      This product is either out of print or out of stock. Add it to your wishlist and we will automatically let you know if it comes back into stock. Add to Wishlist

      This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.
      Format: Paperback / softback CONTRIBUTORS: Roberto Gorrieri EAN: 9783319366388 COUNTRY: Switzerland PAGES: WEIGHT: 534 g HEIGHT: 235 cm
      PUBLISHED BY: Springer International Publishing AG DATE PUBLISHED: 2016-10-22 CITY: GENRE: COMPUTERS / Computer Science, COMPUTERS / Data Science / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Mathematical logic, Computer programming / software engineering, Data capture and analysis, Computer science, Mathematical theory of computation, Machine learning

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      Roberto Gorrieri is a professor of computer science of the University of Bologna. His interests include concurrency and the foundations of security analysis and design.Cristian Versari is an assistant professor of computer science at the Laboratoire d'Informatique Fondamentale de Lille (LIFL). His interests include concurrent languages and the computational modelling of biological systems.
      This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered.The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency.
      Format: Paperback / softback CONTRIBUTORS: Roberto Gorrieri EAN: 9783319366388 COUNTRY: Switzerland PAGES: WEIGHT: 534 g HEIGHT: 235 cm
      PUBLISHED BY: Springer International Publishing AG DATE PUBLISHED: 2016-10-22 CITY: GENRE: COMPUTERS / Computer Science, COMPUTERS / Data Science / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Mathematical logic, Computer programming / software engineering, Data capture and analysis, Computer science, Mathematical theory of computation, Machine learning

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      Roberto Gorrieri is a professor of computer science of the University of Bologna. His interests include concurrency and the foundations of security analysis and design.Cristian Versari is an assistant professor of computer science at the Laboratoire d'Informatique Fondamentale de Lille (LIFL). His interests include concurrent languages and the computational modelling of biological systems.

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account