00835naa#a2200217#i#450# EN\\bibl\23745 20241130094620.6 1999-8775 20181106b2018####ek#y0engy0150####ca RU VERIFICATION OF USER INTERFACE DISTRIBUTION BASED ON π-CALCULUS Journal article Bryansk Bryansk State Technical University 2018 9 с. Journal article local Инженерное дело. Техника в целом. Транспорт. 62 Общие вопросы машиностроения. 55.01 grnti Технология машиностроения. 55.13 grnti Sakulin Sergey Aleksandrovich Alfimcev Aleksandr Nikolaevich Tipsin Evgeniy Andreevich naukaru.ru