|
|
Understanding Concurrent Systems
By: Roscoe, A.w. (Author).
Springer London Ltd. Published: 01/05/2010. Audience Guide: Professional & Vocational.
Hardback. Sourced from U.S.A.
Since the introduction of Hoares' Communicating Sequential Processes notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book presents the fundamental knowledge of CSP concepts readers require to take advantage of those tools. This text benefits from the author's ten years of teaching experience to guide the reader through an introductory course on the theory and practice of concurrency. The book is divided into three parts; the first begins with an introductory course into the theories behind computer concurrency. The second part summarises the main ideas and results featuring chapters on advanced specification techniques, buffer tolerance, induction and data independence. The final part focuses on practice, containing chapters on the bully algorithms and deadlock. Bridging the gap between theory and practice, this logical and practical guide provides readers with in-depth examples explained, and shown in practice. Item Details
ISBN10/13: 184882257X/9781848822573
TITLE: Understanding Concurrent Systems
CONTRIBUTORS: Roscoe, A.w. (Author)
IMPRINT: Springer London Ltd
PUBLISHER: Springer London Ltd
FORMAT: Hardback
PUBLICATION DATE: 01/05/2010
SUBJECT: Computers/Internet, Computers/Internet, Operating Systems - General, Programming
DIMENSIONS (Width x Height): 155mm x 235mm
PAGES: 450
AUDIENCE GUIDE: Professional & Vocational
CONTENTS: Preface.- Introduction.- A Foundation Course in CSP.- Fundamental Concepts.- Parallel Operators, Hiding and Renaming.- Piping and Enslavement.- Buffers and Communication.- Termination and Sequential Composition.- Theory.- Operational Semantics.- Denotational Semantics.- Analyzing the Denotational Models.- Infinite Traces.- Algebraic Semantics.- Abstraction.- Practice.- Deadlock.- Modelling Discrete Time.- Case Studies.- Mathematical Background.- A Guide to Machine-Readable CSP.- The Operation of FDR.- Notation.- Bibliography.- Index.- Index of Named Processes
|
|
Featured Product
Anxiety
LADYHAWKE . NZ$29.95.
Here
Sharpe, Edward & The Magnetic Zeroes. NZ$26.95.
Spirit In the Room (Deluxe Edition)
Jones, Tom. NZ$29.95.
ALMIGHTY JOHNSONS, THE - SERIES 2
ALMIGHTY JOHNSONS, THE & 7 others.. NZ$39.95.
|
