Исчисление процессов
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем.

Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар, разработавший теорию взаимодействующих последовательных процессов CSP (Communicating Sequential Processes). Другими примерами являются TCC (), (ACP), LOTOS. Более современными методами являются пи-исчисление, , , join-calculus и другие.
Q1049183
формальному
Concept
Q1414548
параллельных
Concept
Q92643
Робин Милнер
PER
Q2563079
CCS
Concept
Q92602
Энтони Хоар
PER
None
CSP
UNK
Q19501726
LOTOS
ORG
Q602886
пи-исчисление
Concept
None
join-calculus
UNK
Q1970286
Исчисление процессов
Concept
discoverer or inventor