> -- Сергей Прохоренко писал(а):
> Спасибо за ссылку, Драконограф!Воспроизвожу по полученной ссылке форму цикла Дейкстры в языке Promela из указанного :...Ну это в общем-то будет топик для упомянутой темы или какой-то специализированной, наверное... Я пока вернулся в упомянутую - см. ответв этом сообщении.