The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Author :
Publisher : Prentice Hall PTR
Total Pages : 596
Release :
ISBN-10 : UOM:39015040073788
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis The Theory and Practice of Concurrency by : A. W. Roscoe

Download or read book The Theory and Practice of Concurrency written by A. W. Roscoe and published by Prentice Hall PTR. This book was released on 1998 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt: Since Professor Hoare's book Communicating Sequential Processes was first published, his notation has been extensively used for teaching and applying concurrency theory. The most significant development since then has been the emergence of tools to support the teaching and industrial application of CSP. This has turned CSP from a notation used mainly for toy examples into one which can and does support the description of industrial-sized problems. In order to understand the tools you need a good grasp of the fundamental concepts of CSP, therefore the book is, in the first instance, a text on the principles of the language rather than being a manual on how to apply its tools. The Theory and Practice of Concurrency is divided into 3 sections. Part I is a foundation course on CSP, covering essentially the same material as the Hoare book, except that most of the mathematical theory has been omitted. It introduces the ideas behind the operational, denotational and algebraic models of CSP. Parts II and III go into more detail about the theory and practice of CSP. Either of them would make a one semester course or though they are independent of each other. This book assumes no mathematical knowledge except for a basic understanding of sets, sequences and functions. Part I and III use no sophisticated mathematics, and the extra amount needed for Part II is contained within Appendix A (which introduces the theory of partial order and metric/restriction spaces). The book brings substantial new insights into the important subjects of computer security, fault tolerance, real-time modelling, communications protocols and distributed databases. Each of these is supported by a case study and guidance on how to apply automated analysis to verify systems.


The Theory and Practice of Concurrency Related Books

The Theory and Practice of Concurrency
Language: en
Pages: 596
Authors: A. W. Roscoe
Categories: Parallel processing (Electronic computers).
Type: BOOK - Published: 1998 - Publisher: Prentice Hall PTR

DOWNLOAD EBOOK

Since Professor Hoare's book Communicating Sequential Processes was first published, his notation has been extensively used for teaching and applying concurrenc
Understanding Concurrent Systems
Language: en
Pages: 528
Authors: A.W. Roscoe
Categories: Computers
Type: BOOK - Published: 2010-10-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes b
Transactional Information Systems
Language: en
Pages: 881
Authors: Gerhard Weikum
Categories: Computers
Type: BOOK - Published: 2002 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

This book describes the theory, algorithms, and practical implementation techniques behind transaction processing in information technology systems.
Java Concurrency in Practice
Language: en
Pages: 428
Authors: Tim Peierls
Categories: Computers
Type: BOOK - Published: 2006-05-09 - Publisher: Pearson Education

DOWNLOAD EBOOK

Threads are a fundamental part of the Java platform. As multicore processors become the norm, using concurrency effectively becomes essential for building high-
Concurrency
Language: en
Pages: 436
Authors: Jeff Magee
Categories: Computers
Type: BOOK - Published: 2014-09-23 - Publisher: Wiley Global Education

DOWNLOAD EBOOK

Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and dem