Комментарии 6
Интересно. Но есть чувство, что это те же автоматы и грамматики, только под другим углом. Для последних есть сильная формальная база. Интересно, почему автор книги стал вводить свою алгебру.
Как и обычно в математике бывает что в разных областях возникают похожие конструкции и рассуждения, но тем не менее у каждой теории есть свои несколько различающиеся инструменты и задачи, которая она стремится решить. Насчёт же вашего вопроса приведу слова самого автора из последней главы книги:
Надеюсь данная цитата ответила на ваш вопрос.
Главной задачей моих исследований взаимодействующих процессов было найти наиболее простую математическую теорию, которая бы отвечала следующим свойствам:
1. Она должна описывать широкий набор интересных приложений вычислительной техники: начиная с торговых автоматов, продолжая контролем процессов и дискретным моделированием событий, и заканчивая операционными системами с общими ресурсами.
2. Она должна способна эффективно реализовать в себе различные традиционные и новые компьютерные архитектуры, начиная с компьютеров с разделением времени, продолжая микропроцессорами, и заканчивая сетями сообщающихся микропроцессоров.
3. Она должна предоставлять программисту удобные инструменты в таких задачах как спецификация, архитектуре, реализации, верификации и валидации сложных вычислительных систем.
Надеюсь данная цитата ответила на ваш вопрос.
Теги(хабы) неправильные у статей. Программирование. Математика. Параллельное программирование.
В следующей части будет показано графическое представление процессов, вывод базовых законов и реализация модели процессов.
Где-то показано? У автора личка отключена.
Ну, раз автор пересказ книги прервал, то Вам имеет смысл пойти по ссылке в начале этой статьи и почитать саму книгу. Оригинал всегда лучше! :-)
Хоар есть на русском:
https://ssd.sscc.ru/old/chair/files/hoar/hoar.pdf
Также интерна оценка и Хоара и Милнера их современниками (отчет о командировке в ФРГ):
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Введение в теорию взаимодействующих последовательных процессов (CSP), часть 2