Process Algebras
Subsections
UPA — Untimed Process Algebras
TPA — Timed Process Algebras