Сборка 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" Скачать