Title: Communication and concurrency
Subjects: Machine theory, Formal languages