User Interface Distribution Method Based on Pi-Calculus. - Sergey Sakulin; Alexander Alfimtsev; Evgeny Tipsin; Vladimir Devyatkov; Dmitry Sokolov 003 (Int. J. Distributed Syst. Technol., 2019)