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

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

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

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

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

См. также

Ссылки


Информатика

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "Исчисление процессов" в других словарях:

  • Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике  исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… …   Википедия

  • Исчисление общающихся систем — Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS)  это исчисление процессов, введённое Робином Милнером около 1980, и название его книги, описывающей это исчисление. Исчисление работает с моделью… …   Википедия

  • Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) …   Википедия

  • Пи-исчисление — исчисление в теоретической информатике   исчисление процессов, изначально разработанное Робином Милнером, Иоахимом Парровом и Дэвидом Уолкером как продолжение работы над исчислением общающихся систем. Целью исчисления является возможность… …   Википедия

  • Вариационное исчисление — Вариационное исчисление  это раздел функционального анализа, в котором изучаются вариации функционалов. Самая типичная задача вариационного исчисления состоит в том, чтобы найти функцию, на которой заданный функционал достигает… …   Википедия

  • ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ — раздел математики, в к ром изучаются понятия интеграла, его свойства и методы вычислений. И. и. непрерывно связано с дифференциальным исчислением и составляет вместе с ним основу математич. анализа. Истоки И. и. относятся к античному периоду… …   Математическая энциклопедия

  • Вариационное исчисление —         математическая дисциплина, посвященная отысканию экстремальных (наибольших и наименьших) значений функционалов переменных величин, зависящих от выбора одной или нескольких функций. В. и. является естественным развитием той главы… …   Большая советская энциклопедия

  • ВАРИАЦИОННОЕ ИСЧИСЛЕНИЕ — раздел мате .матики, посвященный исследованию методов отыскания экстремумов функционалов, зависящих от выбора одной или нескольких функций при разного рода ограничениях (фазовых, дифференциальных, интегральных И т. п.), накладываемых на эти… …   Математическая энциклопедия

  • Конкурентные вычисления — Исчисление процессов (алгебра процессов) семейство связанных подходов к формальному моделированию конкурентных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление… …   Википедия

  • Конкуррентность — Исчисление процессов (алгебра процессов) семейство связанных подходов к формальному моделированию конкурентных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»