Ну, вот это звучит как старая добрая микроэлектроника! 😃
Она на самом деле моделируется как сеть "чистых" (stateles) элементов и элементов с состоянием типа сумматоров. Но кроме тупо дискретно-событийного моделирования я не знаю как их ещё описывают...
Наверное, в этой области что-то можно накопать.

Начните тогда с фон Неймана, Цетлина, Варшавского...

А что за состояние хранит в себе сумматор? :)

Блин, перепутал со счётчиком! Слишком давно занимался и слишком поверхностно...

cspbook Хоара

Спасибо.

Похоже именно то, что мне надо - набор определений, чтобы не изобретать их самому.

Кстати, во многом актуальной осталась вот эта вводная книжка: https://urss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=45524

Я ниже попытаюсь показать, почему исходный вопрос не очень корректен, поскольку может подразумевать слишком многое.

Исследователи занимались асинхронностью/распределенностью на разных масштабах. Фон Нейман с синхронными и асинхронными клеточными автоматами. Варшавский с "Коллективным поведением автоматов".

Тот же Варшавский был пионером в области цифровых асинхронных схем. Одна из известных (в узких кругах) его книг называется "Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems".

Укрупняем масштаб — возникают систолические массивы и массивы волнового фронта Куна. Причем, систолические массивы — с синхронным коллективным поведением, а wavefront arrays — асинхронные.

А с точки зрения формализма, акторы это не CSP Хоара, а CSP это не процессы Кана или сети Петри. Кроме того, отдельно стоят SDF-графы. которые сами по себе очень интересны, благодаря возможности эффективной компиляции/реализации в системах реального времени. В компиляторах с недавнего времени стало применяться представление PPN -- polyhedral process networks.

Далее -- потоковые машины и потоковые языки. Начиная с Карпа, Миллера, Сазерленда и Денниса... Можно продолжать и продолжать.

А есть хороший перевод этой книги? Не то, чтобы я не мог читать, но книга написана образованным человеком с большим словарным запасом (превышающим мой, т.к. я не работаю в области английской филологии).

Кстати про распределенные системы. Этим летом HydraConf 2020 переехала в Москву. Кто-нибудь планирует идти туда?

Хорошая тема для выступления может быть...

COPL 10 ed кто-то выложил, может интересно кому:
https://www.academia.edu/41296341/Concepts_of_Programming_Languages?auto=download

К сожалению, часто, чтобы правильно задать вопрос, нужно знать большую часть ответа. Это именно тот случай.

Кстати, практическое опровержение наивного «не надо ничего учить - в гугле найдём».

Я пропустил прошлый раз с Кликом, а теперь смотрю список докладчиков и пока не воодушевился :)

Потому и надо усиливать программу :)

Клиф Клик нёс какую-то дичь на HTM. Крайне не понравился. Но я тут субъективен

Он разве не этот доклад делал? Где-то у нас он с этими слайдами выступал :) http://cliffc.org/blog/wp-content/uploads/2019/10/2019_C2-1.pdf

Ну у него там было два выступления, и первое про HTM

А почему дичь? Она за HTM или против был? :)