Title: Algebra of Communicating Processes
Subjects: Algebra