Programming Research Group Technical Monograph PRG-96

Jim Davies and Steve Schneider

April 1992, 33 pages, ISBN 0-902928-74-0

This report provides a comprehensive introduction to the language of Timed Communicating Sequential Processes (Timed CSP), presented by Reed and Roscoe in A timed model for communicating sequential processes, Springer LNCS 226. A brief description of the notation is followed by a detailed survey of timed and untimed models for the language. A compositional proof system is included, together with an account of timed refinement. The report ends with a list of the changes made to the notation in recent years, and a brief discussion of other timed process algebras.