Конкурентные вычисления

Конкурентные вычисления

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

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

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

Ссылки

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



Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

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

  • Рынок — (Market) Рынок это система отношений между продавцом (производителем услуг/товаров) и покупателем (потребителем услуг/товаров) История возникновения рынка, функции ранка, законы рынка, виды рынков, свободный рынок, государственное регулирование… …   Энциклопедия инвестора

  • Рынок труда — (Labor market) Рынок труда это сфера формирования спроса и предложения на рабочую силу Определение рынка труда, определение рабочей силы, структура рынка труда, субъекты рынка труда, конъюнктура рынка труда, сущность открытого и скрытого рынка… …   Энциклопедия инвестора

  • Программирование — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. У этого термина существуют и другие значения, см. Программи …   Википедия

  • Валовый внутренний продукт — (Gross domestic product, ВВП) Определение ВВП, история происхождения и методы расчета Информация об определении ВВП, история происхождения и методы расчета Содержание > Валовый внутренний продукт это, определение ВАЛОВОЙ ВНУТРЕННИЙ , [gross… …   Энциклопедия инвестора

  • Последовательности Куннингама — В математике цепи Куннигама  это некоторая последовательность простых чисел. Цепи Куннигана названы в честь математика А. Дж. Ч. Каннингема (англ.)русск.. Их также называют цепями почти удвоенных чисел. Цепь Куннигама первого рода длины …   Википедия

  • Менеджмент — (Management) Менеджмент это совокупность методов управления предприятием Теория, цели и задачи менеджмента, менеджер и его роль в развитии предприятия Содержание >>>>>>>>>>>> …   Энциклопедия инвестора

  • Хедж-фонд — (Hedge fund) Хедж фонд это крупная инвестиционная компания, оперирующая крупными капиталами Понятие, основная характеристика, особенности и преимущества хедж фонда, крупные хедж фонды и используемые ими стратегии Содержание >>>>>>>>>>>>> …   Энциклопедия инвестора


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

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