برمجة متزامنة, حساب العمليات, علوم الحاسوب, نظرية الحوسبة

حساب الوصل (Join-calculus)