Title: Introduction to a calculus of communicating systems
Subtitle: expository report.