A
A. W. Roscoe
Researcher at University of Oxford
Publications - 149
Citations - 8658
A. W. Roscoe is an academic researcher from University of Oxford. The author has contributed to research in topics: Communicating sequential processes & Deadlock. The author has an hindex of 35, co-authored 140 publications receiving 8408 citations.
Papers
More filters
Book
The Theory and Practice of Concurrency
TL;DR: This book provides a detailed foundation for working with CSP, using as little mathematics as possible, and introduces the ideas behind operational, denotational and algebraic models of CSP.
Journal ArticleDOI
A Theory of Communicating Sequential Processes
TL;DR: In this article, a mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved, and the possibilities of nondetermimsm are fully taken into account.
Journal ArticleDOI
A timed model for communicating sequential processes
G. M. Reed,A. W. Roscoe +1 more
TL;DR: The purpose of this paper is to report the development of the first real-time models of CSP to be compatible with the properties and proof systems of the abovementioned untimed models.
Journal ArticleDOI
Laws of programming
C. A. R. Hoare,Ian J. Hayes,He Jifeng,Carroll Morgan,A. W. Roscoe,J. W. Sanders,Ib Sørensen,J. M. Spivey,Bernard Sufrin +8 more
TL;DR: A calculus analogous to weakest preconditions is suggested as an aid to deriving programs from their specifications as well as a set of algebraic laws for Dijkstra's nondeterministic sequential programming language.
Book
Understanding Concurrent Systems
TL;DR: Understanding Concurrent Systems presents a comprehensive introduction to CSP, and introduces other views of concurrency, using CSP to model and explain these, and explores the practical application of CSP.