Взаимодействующие последовательные процессы (англ. communicating sequential processes, CSP) — формальный язык для описания моделей взаимодействия в параллельных системах.
Относится к математическим теориям параллелизма, известных как исчисление процессов (или алгебра процессов), основанных на передаче сообщений по каналам. Оказал влияние на разработку языков Оккам, Limbo, Go.
Теория CSP была впервые описана в статье Энтони Хоара в 1978 году. Первоначальная версия была неудачной, так как не представляла неограниченный индетерминизм . Впоследствии под влиянием идей, заимствованных из модели акторов Карла Хьюитта теория была значительно изменена. В версиях CSP Хоара от 1985 года уже используется неограниченный индетерминизм; с тех пор теория значительно развита и остаётся предметом активных исследований.
На практике CSP применялась в качестве инструмента формальной спецификации систем с параллелизмом, таких как, например, транспьютер T9000 или безопасной системы электронной коммерции.
Это заготовка статьи по информатике. Помогите Википедии, дополнив её. |
This article uses material from the Wikipedia Русский article Взаимодействующие последовательные процессы, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Если не указано иное, содержание доступно по лицензии CC BY-SA 4.0. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Русский (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.