Department of Computer Science
University of Oxford

Related books

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

Pi-calculus book cover imageMobile 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

The first 25 years of CSP book coverThis 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.
website counter
Random Image
Random Image
Random Image