TY  - BOOK
AU  - Кузьмин,Егор Владимирович
AU  - Соколов,Валерий Анатольевич
TI  - Структурированные системы переходов
SN  - 5922106929
PY  - 2006///
CY  - Москва
PB  - Физматлит
KW  - Вычислительные системы
KW  - Математическое моделирование
KW  - RuMoRKP
KW  - Петри сети
KW  - Автоматов теория
KW  - параллельные вычислительные системы
KW  - распределенные вычислительные системы
KW  - системы помеченных переходов
KW  - параллельные программы
KW  - протоколы передачи данных
KW  - мультимножества
KW  - квазиупорядоченные множества
KW  - Минского счетчиковые машины
KW  - счетчиковые машины
KW  - темпоральные логики
KW  - магазинные автоматы
KW  - верификация программ
N1  - Библиогр.: с. 166-171
ER  -