Title: Applications of process algebra
Subjects: Computer science, mathematics, Computer science, Mathematics, Computer network protocols, Axiomatic set theory