Verification of Programs with Mutual Recursion in Pifagor Language. - Mariya S. Ushakova; Alexander I. Legalov (Autom. Control. Comput. Sci., 2018)

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows. - Alexander Ivanovich Legalov; Ivan V. Matkovskii; Mariya S. Ushakova; Darya S. Romanova (Autom. Control. Comput. Sci., 2021)