حسابان پی
preferred label: pi calculus @en
type: Concept
related: حسابان لاندا

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

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