@article{Sakulin2018verification,
author={Sakulin, S.A. and Alfimcev, A.N. and Tipsin, E.A.},
title={VERIFICATION OF USER INTERFACE DISTRIBUTION BASED ON π-CALCULUS},
journal={Bulletin of Bryansk state technical university},
publisher={Bryansk State Technical University},
year={2018},
pages={56-65},
volume={2018},
issue={9},
}