ФЭНДОМ


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