Введение в теорию взаимодействующих последовательных процессов (CSP), часть 2

[@lightcaster]

Интересно. Но есть чувство, что это те же автоматы и грамматики, только под другим углом. Для последних есть сильная формальная база. Интересно, почему автор книги стал вводить свою алгебру.

[@newpavlov]

Как и обычно в математике бывает что в разных областях возникают похожие конструкции и рассуждения, но тем не менее у каждой теории есть свои несколько различающиеся инструменты и задачи, которая она стремится решить. Насчёт же вашего вопроса приведу слова самого автора из последней главы книги:

Главной задачей моих исследований взаимодействующих процессов было найти наиболее простую математическую теорию, которая бы отвечала следующим свойствам:
1. Она должна описывать широкий набор интересных приложений вычислительной техники: начиная с торговых автоматов, продолжая контролем процессов и дискретным моделированием событий, и заканчивая операционными системами с общими ресурсами.
2. Она должна способна эффективно реализовать в себе различные традиционные и новые компьютерные архитектуры, начиная с компьютеров с разделением времени, продолжая микропроцессорами, и заканчивая сетями сообщающихся микропроцессоров.
3. Она должна предоставлять программисту удобные инструменты в таких задачах как спецификация, архитектуре, реализации, верификации и валидации сложных вычислительных систем.

Надеюсь данная цитата ответила на ваш вопрос.

[@aTwice]

Теги(хабы) неправильные у статей. Программирование. Математика. Параллельное программирование.

[@itGuevara]

В следующей части будет показано графическое представление процессов, вывод базовых законов и реализация модели процессов.

Где-то показано? У автора личка отключена.

[@powerman]

Ну, раз автор пересказ книги прервал, то Вам имеет смысл пойти по ссылке в начале этой статьи и почитать саму книгу. Оригинал всегда лучше! :-)

[@itGuevara]

Хоар есть на русском:

https://ssd.sscc.ru/old/chair/files/hoar/hoar.pdf

Также интерна оценка и Хоара и Милнера их современниками (отчет о командировке в ФРГ):

http://ershov.iis.nsk.su/ru/node/767656