%0 Journal Article
%A M. M. Abbas
%A V. A. Zakharov
%T Even simple processes of $\pi$-calculus are hard for analysis
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 589-606
%V 25
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_6_a0/
%G ru
%F MAIS_2018_25_6_a0