%0 Journal Article %A V. S. Sekorin %T On equivalence of two PFP-operator semantics %J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika %D 2020 %P 41-49 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/VTPMK_2020_3_a3/ %G ru %F VTPMK_2020_3_a3