Valeriy A. SokolovE-mailsokolov@uniyar.ac.ru List of Articles: Kouzmin E. Shilov N. Sokolov V. Model checking μ-calculus in well-structured transition systems // Computer Science. — 2004 . — # 20. — P. 49-59 Badin N. Brodskiy G. Sokolov V. A recursive parallel programming language and its application to algebraic computations // Computer Science. — 1999 . — # 11. — P. 1-14
