Larisa SafinaRussia, InnopolisAffiliation & position Innopolis University — junior researcher E-maill.safina@innopolis.ru List of Articles in System Informatics: D. de Carvalho M. Mazzara B. Mingela L. Safina N. Troshkov A. Tchitchigin Towards Static Type-checking for Jolie // System Informatics. — 2017. — # 10. — P. 77-88