حسابان لاندا
lambda calculus
حسابان پی
pi calculus
جبر فرایند
process algebra