A language for specification of the behavior of distributed programsстатья
Информация о цитировании статьи получена из
Scopus,
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 19 ноября 2013 г.
Местоположение издательства:Road Town, United Kingdom
Первая страница:233
Последняя страница:240
Аннотация:The specification language M2-SPEC designed to specify the behavior of distributed programs is described. The language is used in the algorithmic analysis subsystem of the Dyana integrated environment [4], which is intended for the analysis of the operation of distributed multiprocessor computing complexes.