Process algebra, also known as the Algebra of Communicating Processes (ACP), is a mathematical theory or model of computer processes, particularly concurrent systems. In this introduction to ACP, the authors describe an algebraic formalism that can be used to specify, apply logic to, and improve parallel systems. Their axiomatic approach permits intensive calculations to be performed and establishes a uniform framework in which a range of models can be investigated. The book addresses issues such as parallelism, communication, abstraction, non-determinism, and fairness and provides many examples, so it should appeal to computer scientists and mathematicians alike. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Editorial Reviews
Review
"...an ideal reference for a researcher new to the field....This compact, yet easily digested, introduction to process algebra belongs in every serious computer science library." D.J. Cooke, Computing Reviews
"The style of the exposition and the number of exercises proposed at every step make the book well suited for teaching purposes." Andrea Maggiolo-Schettini, Mathematical Reviews
"The style of the exposition and the number of exercises proposed at every step make the book well suited for teaching purposes." Andrea Maggiolo-Schettini, Mathematical Reviews
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
2 of 3 people found the following review helpful:
4.0 out of 5 stars
Great introduction to the theory of concurrency,
This review is from: Process Algebra (Cambridge Tracts in Theoretical Computer Science) (Hardcover)
This book is a wonderful introduction to the theory behind concurrency. All the given proofs are explained well (but references to some of the steps would be nice). The only problems I had with the book is the lack of some references in the proofs and no answers to the exercises.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
First Sentence:
This book provides a systematic introduction to process algebra, suitable for teaching purposes. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Ready Trace Rule New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
This book provides a systematic introduction to process algebra, suitable for teaching purposes. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Ready Trace Rule New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 12
books:
See all 12 books this book cites
100
books
cite this book:
See all 100 books citing this book
- Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) by J. C. M. Baeten on 5 pages
- Mathematics and Computer Science by J. W. De Bakker in Front Matter (1), Front Matter (2), and page 221
- Communicating Sequential Processes (Prentice Hall International Series in Computing Science) by C.A.R. Hoare on page 2, and page 224
- A calculus of communicating systems (Lecture notes in computer science) by R Milner on page 1, and page 223
- Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science) by Marianne Winslett in Front Matter
See all 12 books this book cites
- Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture ... Computer Science and General Issues) by Zhiming Liu on 4 pages
- Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science) by S. Mauw in Front Matter, Back Matter (1), and Back Matter (2)
- Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series) by Martin Große-Rhode in Back Matter (1), and Back Matter (2)
- Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues) by José Luis Fiadeiro on page 97, and page 377
- Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings (Lecture Notes in Computer Science) by Giorgio DeMichelis on page 64, and page 276
See all 100 books citing this book
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Design Tools & Techniques
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Science & Math > Mathematics
