حسابان
calculus
جبر فرایند
process algebra
حسابان پالایشی
refinement calculus