Эквивалентные семантики взаимодействия.

Эквивалентные семантики взаимодействия.

И.Б. Бурдонов, А.С. Косачев.

Аннотация

В статье рассматривается эквивалентность формальных семантик взаимодействия с точки зрения определяемых ими возможностей для тестирования. Дается строгое определение этого понятия, исследуются свойства соответствующего квазипорядка — «не меньшей мощности» одной семантики по отношению к другой. Приводятся необходимые и достаточные условия эквивалентности семантик.

Издание

Труды Института системного программирования РАН, том 14, часть 1, 2008, стр. 55-72.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Для цитирования

И.Б. Бурдонов, А.С. Косачев. Эквивалентные семантики взаимодействия. . Труды Института системного программирования РАН, том 14, часть 1, 2008, стр. 55-72. .

Полный текст статьи в формате pdf Вернуться к содержанию тома