Исчисление процессов

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

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

См. также[править | править вики-текст]

Литература[править | править вики-текст]

  • Milner, R. Communication and Concurrency. — Prentice-Hall, Inc., 1989. — ISBN 0-13-115007-3.
  • Хоар Ч. Взаимодействующие последовательные процессы. — М.: Мир, 1989. — 264 с.

Ссылки[править | править вики-текст]