Вычисление процессов

• Основы теории процессов

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

• Процессы и взаимодействия

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

• Операции и алгебра процессов

  • Операции включают в себя создание, уничтожение, копирование, рекурсию и скрытие. 
  • Алгебра процессов — это математический инструмент для описания и анализа процессов. 

• История и развитие

  • Теория процессов возникла в первой половине 20 века и включает в себя μ-рекурсивные функции, машины Тьюринга и лямбда-исчисление. 
  • В 1970-х годах появились CCS, CSP и ACP, которые стали основными ветвями теории процессов. 

• Текущие исследования

  • Исследования направлены на разработку новых методов расчета процессов и изучение их выразительности. 
  • Также изучаются корректные подрасчеты и поведенческая теория процессов. 

• Программные реализации

  • Теория процессов привела к созданию инструментов, таких как mCRL2 и CADP. 

• Связь с другими моделями параллелизма

  • Process calculi отличается от других моделей параллелизма наличием каналов связи. 

• Рекомендации

  • Для дальнейшего чтения рекомендуется книга Мэтью Хеннесси и работы Робина Милнера.