Below are listed the most popular books
related to the work of the Concurrency Research Group.
Communicating Sequential Processes
Author: C. A. R. Hoare
Published by: Prentice Hall
Publication date: 1985
Communicating
Sequential Processes, or CSP, is a language for
describing patterns of interaction. It is supported by an elegant,
mathematical theory, a set of proof tools, and an extensive
literature. The book "Communicating Sequential Processes"
was
first published in 1985 by Prentice Hall International (who have
kindly released the copyright); it is an excellent introduction to the
language, and also to the mathematical theory. This book introduces a
new mathematical approach to the study of
concurrency and communication. Most suitable application of this new
field is to the specification, design and implementation of computer
systems which continuously act and interact with their environment.
An electronic version of the book has been
produced, and may be copied, printed, and distributed free of charge.
However, such copying, printing, or distribution may not: be carried
out for commercial gain; or - for copyright reasons - take place
within India, Pakistan, Bangladesh, Sri Lanka, or the Maldives; or
involve any modification to the document itself.
Available electronically in
PDF
format. See also the book's
webpage
for additional information.
The Theory and Practice of Concurrency
Author:
A. W. Roscoe
Published by: Prentice Hall
Publication date: 1998
"The Theory
and Practice of
Concurrency" is a
comprehensive text on
Communicating Sequential Processes, allowing readers to advance from
complete beginners to the state of the art both in the theory of CSP
and in its practical application. It assumes only a basic mathematical
knowledge of sets, sequences and functions.
The first part provides a foundation course on CSP suitable for an
undergraduate or introductory graduate course. The second part covers
the theory of CSP, demonstrating a variety of semantic approaches. The
third part shows how issues such as security, real-time, fault
tolerance, protocols, and distributed databases can be modelled and
verified using CSP and its automated tools.
Available electronically for personal
reference only in
PDF
and
PS
formats. See also the book's
webpage
for additional material related to the book.
Concurrent and Real-time Systems: the CSP Approach
Author: Steve Schneider
Published by: John Wiley
Publication date: 1999
The
CSP approach has been widely used in the specification, analysis
and verification of concurrent and real-time systems, and for
understanding the particular issues that can arise when concurrency is
present. It provides a language which enables specifications and
designs to be clearly expressed and understood, together with a
supporting theory which allows them to be analyzed and shown to be
correct.
This book supports advanced level courses on
concurrency covering timed and untimed CSP. The first half introduces
the language of CSP, the primary semantic models (traces, failures,
divergences and infinite traces), and their use in the modelling,
analysis and verification of concurrent systems. The second half of the
book introduces time into the language, brings in the timed semantic
model (timed failures) and finally presents the theory of timewise
refinement which links the two halves together.
This book is currently not available electronically. See the
book's
webpage
for more information.
The π-calculus. A Theory of Mobile Processes
Authors: Davide Sangiorgi and David Walker
Published by: Cambridge University Press
Publication date: 2001
Mobile
systems, whose components communicate and change their
structure, now pervade the informational world and the wider world of
which it is a part. The science of mobile systems is as yet immature,
however, and its development is both necessary and challenging. It is
likely to consist of theories offering explanations at many different
levels. There should, however, be something that underlies the various
theories.
This book presents the π-calculus, a theory of mobile systems. The
π-calculus provides a conceptual framework for understanding mobility,
and mathematical tools for expressing systems and reasoning about
their behaviours.
The book serves both as a reference for the theory and as an extended
demonstration of how to use π-calculus to describe systems and analyse
their properties. It covers the basic theory of π-calculus, typed
π-calculi, higher-order processes, the relationship between π-calculus
and λ-calculus, and applications of π-calculus to object-oriented
design and programming.
The book is written at the graduate level, assuming no prior
acquaintance with the subject, and is intended for computer scientists
interested in mobile systems.
This book is currently not available electronically, but large parts of
it are
available
online through Google Book Search.
Communicating sequential processes: the first 25 years
Editors: Ali E. Abdallah, Cliff B. Jones and Jeff W. Sanders
Published by: Springer
Publication date: 2005
This book commemorates the work done by Tony
Hoare and published under
the title Communicating Sequential Processes in the 1978 August issue
of the Communications of ACM. The British Computer Society's specialist
group Formal Aspects of Computing Science organized a meeting on July
7-8, 2004, in London, to mark the occasion of 25 years of CSP. The 19
carefully reviewed and revised full papers by leading researchers
celebrate, reflect upon, and look beyond the first quarter-century of
CSP's contributions to computer science. The papers explore the impact
of CSP on many areas ranging from semantics and logic, through the
design of parallel programming languages to applications varying from
distributed software and parallel computing to information security,
Web services, and concurrent hardware circuits.
This book is currently not available electronically, but large parts of
it are
available
online through Google Book Search.
