TY - BOOK AU - Котов, В.Е. ED - АН СССР TI - Формальные модели параллельных вычислений PY - 1988/// CY - Новосибирск PB - ВЦ СО АН СССР N2 - Библиогр. в конце ст ER -