%0 Journal Article %T VERIFICATION OF USER INTERFACE DISTRIBUTION BASED ON π-CALCULUS %A Sakulin, S.A. %A Alfimcev, A.N. %A Tipsin, E.A. %K %J Bulletin of Bryansk state technical university %D 2018 %N 2018 %P 9 %I Bryansk State Technical University