• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Even Simple Processes of Pi-calculus are Hard for Analysis

Automatic Control and Computer Sciences, USA. 2019. Vol. 53. No. 7.
Zakharov V., Abbas M. M.