TY - BOOK AU - Андреева, М. В. TI - Параллельные варианты may-тестовых эквивалентностей временных структур событий T2 - Препринт VL - 77 PY - 2000/// CY - Новосибирск PB - Ин-т систем информатики СО РАН KW - Параллельные вычислительные системы KW - Эквивалентность KW - nlr-sh2 KW - RU\NLR\auth\661321209 KW - События(мат.) KW - Структура KW - RU\NLR\auth\661269210 KW - В1 KW - З973.202-01с11 N2 - Библиогр.: с. 23 ER -