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