| |
Бабичев, А.
Язык спецификации взаимодействующих процессов Model-100 [Текст] / А. Бабичев, В. Лебедев
// Программирование. – 2007. – № 1. – 5-21.
Описываются идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов |
