2008. Эквивалентные семантики взаимодействия

И.Б.Бурдонов, А.С.Косачев.
Эквивалентные семантики взаимодействия.
Труды Института системного программирования РАН, N 14.1, 2008, стр.55-72.
18 стр.