Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

By Howard Bowman and Rodolfo Gómez

The field of concurrency theory is becoming increasingly important, with the problem of formally verifying concurrent distributed systems a critical consideration and a major topic for the software industries. This book, with its extensive applications of the techniques involved in the field of concurrency theory, is the first to adopt this new approach.

• Format: Paperback
• Language: English
• ISBN: 1849969515
• ISBN13: 9781849969512
• Release Date: October 2010
• Publisher: Springer
• Length: 422 Pages
• Weight: 1.41 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"