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