@article{VTPMK_2020_3_a3, author = {V. S. Sekorin}, title = {On equivalence of two {PFP-operator} semantics}, journal = {Vestnik Tverskogo gosudarstvennogo universiteta. Seri\^a Prikladna\^a matematika}, pages = {41--49}, publisher = {mathdoc}, number = {3}, year = {2020}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/VTPMK_2020_3_a3/} }