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

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

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