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

Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер , разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар , разработавший теорию взаимодействующих последовательных процессов CSP (Communicating Sequential Processes). Другими примерами являются TCC ( англ. timed concurrent constraints ), (ACP), LOTOS . Более современными методами являются пи-исчисление , , , и другие .

Метод рандеву

В случае CCS за основу положен механизм взаимодействия, называемый «рандеву» . Это предполагает, что взаимодействие между процессами происходит мгновенно. В случае CSP взаимодействие между процессами производится при помощи сообщений.

Отличительные черты

Несмотря на разнообразие существующих исчислений процессов, включающих варианты, имеющие дело со стохастическими процессами , временны́ми ограничениями и т. п., всем исчислениям присущи следующие основные черты :

• представление взаимодействий между независимыми процессами в виде передачи сообщений, а не изменения разделяемого процессами состояния;
• описание процессов и систем при помощи ограниченного набора примитивов и операций для комбинирования этих примитивов;
• определение алгебраических законов для операций над процессами, позволяющих проводить над процессными выражениями.

См. также

• Модель акторов

Примечания

Литература

• Milner, R. Communication and Concurrency. — Prentice-Hall, Inc., 1989. — ISBN 0-13-115007-3 .
• Хоар Ч. Взаимодействующие последовательные процессы. — М. : Мир, 1989. — 264 с.
• Pierce, Benjamin. . — CRC Press, 1997. — P. 2190–2207. — ISBN 0-8493-2909-4 .
• Baeten, J.C.M. (англ.) // Rapport CSR 04-02. — Vakgroep Informatica, Technische Universiteit Eindhoven, 2004. 15 июня 2007 года.