Title: Applications of process algebra
Subjects: Machine theory, Computer network protocols, Axiomatic set theory, Computer science, Parallel processing (Electronic computers), Mathematics, Computer science, mathematics