پیچیدگی محاسباتی
computational complexity
جبر فرایند
process algebra
الگوریتم گسترده
distributed algorithm
CSP
فرایند ترتیبی ارتباط
communicating sequential process