Title: A calculus of communicating systems
Subjects: Machine theory, Formal languages