Сборники трудов ИСП РАН


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

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

Аннотация

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

Издание

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

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

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