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


Обобщённые семантики тестового взаимодействия.

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

Аннотация

В данной работе мы обобщаем семантику взаимодействия, допуская наблюдение отказов, не обязательно совпадающих с множеством разрешаемых действий (и даже не обязательно вложенных в него). Рассмотрение состоит из двух частей: сначала рассматриваются модели без приоритетов, а потом вводятся приоритеты.

Издание

Труды Института системного программирования РАН, том 15, 2008, стр. 69-105.

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

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