Algebra
Valuation
Symbol
Mobile Membranes
Natural deduction
Process calculi
Abstract algebra
Ambient calculus