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