%0 Journal Article
%A S. A. Grechanik
%T Polyprograms and polyprogram bisimulation
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 534-548
%V 25
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_5_a6/
%G en
%F MAIS_2018_25_5_a6