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