Боженкова Е. Н. Эквивалентностные понятия для структур событий с реальным временем / Е. Н. Боженкова // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 106-110. - Библиогр.: 6 назв. - рус.Формальная модель структуры событий направлена на описания поведения конкурирующих и распределенных систем. Преимущество таких структур событий в том, что они являются естественным способом представления всех отношений (причинность, конкурентность, конфликт) между событиями в структуре. Однако в такой модели не принимается во внимание временные аспекты поведения системы. В работе вводятся и исследуются временные структуры событий и их эквивалентности. Ключ. слова: Індекс рубрикатора НБУВ: З970.73
Рубрики:
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|