Рубрика «исчисление процессов»

в 6:10, , рубрики: csp, алгебра процессов, исчисление процессов, параллельные вычисления, метки: , , ,

Продолжаем цикл статей посвящённый алгебре исчисления процессов. Данный текст является переводом и сокращённым пересказом начальных глав книги Чарльза Э. Хоара. Теория применяется для формального описания работы параллельных систем. Примерам её практических применений являются такие языки программирования как Erlang, Go и Limbo.

Выбор

С помощью рекурсии и префиксов мы можем описать объект с единственно возможным линейным поведением. Однако, многиеЧитать полностью »

в 8:45, , рубрики: csp, erlang, golang, limbo, алгебра процессов, исчисление процессов, параллельные вычисления, метки: , , , , , ,

Предисловие

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

Главная   |  Архив новостей  |   Android  |   Google  |   Apple  |   Microsoft  |   Информационная безопасность  |   Веб – разработка
Публикации RSS  |  Комментарии RSS
https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js