CSP notation has been used extensively for teaching and applying
concurrency theory, ever since the publication of the text
Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a
programming language and a specification language, the theory of
CSP helps users to understand concurrent systems, and to decide
whether a program meets its specification. As a member of the
family of process algebras, the concepts of communication and
interaction are presented in an algebraic style. An invaluable
reference on the state of the art in CSP, Understanding Concurrent
Systems also serves as a comprehensive introduction to the field,
in addition to providing material for a number of more advanced
courses. A first point of reference for anyone wanting to use CSP
or learn about its theory, the book also introduces other views of
concurrency, using CSP to model and explain these. The text is
fully integrated with CSP-based tools such as FDR, and describes
how to create new tools based on FDR. Most of the book relies on no
theoretical background other than a basic knowledge of sets and
sequences. Sophisticated mathematical arguments are avoided
whenever possible. Topics and features: presents a comprehensive
introduction to CSP; discusses the latest advances in CSP, covering
topics of operational semantics, denotational models, finite
observation models and infinite-behaviour models, and algebraic
semantics; explores the practical application of CSP, including
timed modelling, discrete modelling, parameterised verifications
and the state explosion problem, and advanced topics in the use of
FDR; examines the ability of CSP to describe and enable reasoning
about parallel systems modelled in other paradigms; covers a broad
variety of concurrent systems, including combinatorial, timed,
priority-based, mobile, shared variable, statecharts, buffered and
asynchronous systems; contains exercises and case studies to
support the text; supplies further tools and information at the
associated website: http://www.comlab.ox.ac.uk/ucs/. From
undergraduate students of computer science in need of an
introduction to the area, to researchers and practitioners desiring
a more in-depth understanding of theory and practice of concurrent
systems, this broad-ranging text/reference is essential reading for
anyone interested in Hoare's CSP.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
