Speciality: 01.01.09 (Discrete mathematics and mathematical cybernetics)
Birth date: 04.08.1944
Phone: +7 (4852) 45 72 09
E-mail:
Website: https://www.uniyar.ac.ru/yargu/staff/0000002262/
Keywords: formal models, Petri nets, automata, transition systems, temporal logics, verification, distributed systems, parallel programs, semantics properties.

Subject:

Modeling and analysis of information systems.

Main publications:

• Structured transition systems (book, co-author E. V. Kuzmin), Moscow, Fizmatlit, 2006.

Publications in Math-Net.Ru

Personal pages:

• 
• 
• 

Organisations:

• P.G. Demidov Yaroslavl State University