Исчисление процессов
Материал из Википедии — свободной энциклопедии
Исчисление процессов (алгебра процессов) — семейство связанных подходов к формальному моделированию конкурентных систем.
Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар, разработавший теорию взаимодействующих последовательных процессов CSP (Communicating Sequential Processes).
В случае CCS за основу положен механизм взаимодействия, называемый рандеву. Это предполагает, что взаимодействие между процессами происходит мгновенно. В случае CSP взаимодействие между процессами производится при помощи сообщений.
См. также [править]
Ссылки [править]
- Robin Milner. Communication and Concurrency, Cambridge, 1989
- Т. Хоар. Взаимодействующие последовательные процессы
- А. М. Миронов. Теория процессов.
 |
Это заготовка статьи по информатике. Вы можете помочь проекту, исправив и дополнив её. |
