Interested Article - Взаимодействующие последовательные процессы

melania
  • 2020-12-31
  • 1

Взаимодействующие последовательные процессы ( англ. communicating sequential processes , CSP ) — формальный язык для описания моделей взаимодействия в параллельных системах . Относится к математическим теориям параллелизма, известных как исчисление процессов (или алгебра процессов), основанных на передаче сообщений по каналам. Оказал влияние на разработку языков Оккам , Limbo , Go .

Теория CSP была впервые описана в статье Энтони Хоара в 1978 году . Первоначальная версия была неудачной, так как не представляла . Впоследствии под влиянием идей, заимствованных из модели акторов теория была значительно изменена. В версиях CSP Хоара от 1985 года уже используется неограниченный индетерминизм; с тех пор теория значительно развита и остаётся предметом активных исследований .

На практике CSP применялась в качестве инструмента формальной спецификации систем с параллелизмом, таких как, например, транспьютер T9000 или безопасной системы электронной коммерции .

Примечания

  1. ↑ Bill Roscoe. . — Prentice Hall , 1997. — ISBN 0-13-674409-5 .
  2. . (неопр.) . — SGS-Thompson Microelectronics Ltd., 1995. 1 августа 2020 года. , INMOS document 72 occ 45 03
  3. Дата обращения: 7 ноября 2015. 2 января 2013 года.
  4. C. A. R. Hoare. Communicating sequential processes (англ.) // Communications of the ACM . — 1978. — Vol. 21 , no. 8 . — P. 666—677 . — doi : .
  5. Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. (англ.) . — Springer, 2005. — Vol. 3525. — ( ).
  6. Creese, S. Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks (англ.) : journal. — Oxford University, 2001. — Vol. D. Phil. .
  7. Barrett, G. Model checking in practice: The T9000 Virtual Channel Processor (англ.) // IEEE Transactions on Software Engineering : journal. — 1995. — Vol. 21 , no. 2 . — P. 69—78 . — doi : .
  8. Hall, A; Chapman, R. (англ.) // IEEE Software : journal. — 2002. — Vol. 19 , no. 1 . — P. 18—25 . — doi : . 2 декабря 2020 года.

Литература

  • Хоар Ч. Взаимодействующие последовательные процессы. — М. : Мир, 1989. — 264 с. — ISBN 5030010432 .
  • Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers. — Springer Science & Business Media, 2005. — ISBN 978-3-540-25813-1 .
  • A. W. Roscoe. Understanding Concurrent Systems. — Springer Science & Business Media, 2010. — ISBN 978-1-84882-258-0 .
Источник —

melania
  • 2020-12-31
  • 1
  • Tags:

Same as Взаимодействующие последовательные процессы

The title for the last searches