Proceedings of ISP RAS


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 14, issue 1 (in Russian), 2008, Стр. 55-72.

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

Full text of the paper in pdf Back to the contents of the volume