Фэндом


Сборка Inferno для среды Windows Скачать Inferno_Nt_420.zip (rev 420)

Отдельно emu.exe Скачать emu.exe (rev 420)

Отдельно шрифты свободные и не очень: fonts.zip (Ошибка: This file has been removed from the server, because the file has not been accessed in a long time) или fonts.tar.gz

Страницы руководства с сайта vitanuova.com Скачать manpages.zip


Что еще почитать по теме?

Лекции Роба Пайка (Rob Pike) "Introduction to Concurent Programming" Лекция 1 Лекция 3 Лекция 5

Видео выступления Роба Пайка "Concurrency/message passing Newsqueak" Смотреть

Серия публикаций Kevin Vell посвященная параллельному программированию в CSP/Occam (языка предшественника Limbo) Открыть

Книга Чарльза Хора "Взаимодействующие последовательные процессы" / C. Hoare "Communicating Sequential Processes" Скачать русское издание

Лекции по SPIN, Promela Константин Савенков

Книга Эдмунд Кларк, Орна Грамберг, Дорон Пелед "Верификация моделей программ: Model Checking" Скачать

Книга Mordechai Ben-Ari "Principles of the Spin Model Checker" Скачать

Обнаружено использование расширения AdBlock.


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

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

Также на Фэндоме

Случайная вики