TY  - BOOK
AU  - Задыхайло, И. Б.
AU  - Зеленецкий,Сергей Давидович
TI  - № 133. Об одном подходе к формальному определению синхронизации в вычислительных системах
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 1980///
ER  -