RUS
ENG
Full version
PEOPLE
Abbas Marat Mazen
Publications in Math-Net.Ru
Even simple processes of
$\pi$
-calculus are hard for analysis
Model. Anal. Inform. Sist.
,
25
:6 (2018),
589–606
©
Steklov Math. Inst. of RAS
, 2024