|
Непомнящий, В. А. Язык Dynamic-Real и его применение для верификации SDL-спецификаций распределенных систем [Текст] / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов // Программирование. – 2014. – № 5. – С. 34-44.
Представлен язык спецификаций распределенных систем Dynamic-REAL, который расширяет разработанный ранее язык Basic-REAL посредством динамических конструкций порождения и уничтожения экземпляров процессов. |