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