Introduction to a Calculus of Communicating Systems

D. Walker

Abstract: In December 1986 the Laboratory for Foundations of Computer Science in Edinburgh ran a one-week course for industrial and academic computer scientists entitled ``Foundations of Concurrent Programming''. This course was designed to provide an introduction to Robin Milner's Calculus of Communicating Systems (CCS). The bulk of the material presented was drawn from a set of lecture notes written by Milner in the autumn of 1986, these being a development and refinement of their author's monograph ``A Calculus of Communicating Systems'' published by Springer-Verlag in 1980. Milner's notes provide both a description of the calculus and a full account of its mathematical foundations. Their comprehensive nature, however, does not help to make them an ideal introduction to the calculus for a reader not primarily interested in the underlying mathematics. These notes are intended to provide such an introduction.

LFCS report ECS-LFCS-87-22

Previous | Index | Next