حسابان
preferred label: calculus @en
type: Concept
narrower: حسابان پالایشی

جبر فرایند
preferred label: process algebra @en
type: Concept
narrower: حسابان پالایشی

حسابان پالایشی
broader: حسابان
broader: جبر فرایند
preferred label: refinement calculus @en
type: Concept