Π-calculus
Process calculus
Mathematics
Congruence
Calculus
Type system
Actor model and process calculi
Mobile Membranes
Process calculi
Applied mathematics
Computer science