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

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск

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

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

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

Ссылки

  • Robin Milner. Communication and Concurrency, Cambridge, 1989
  • Т. Хоар. Взаимодействующие последовательные процессы


de:Prozesskalkül

en:Process calculus fr:Algèbre de processus ja:プロセス計算 lt:Procesų algebra

Личные инструменты

Served in 0.054 secs.