Mathematical models of phenomena in electrical contacts
The different methods of solution of mathematical models describing phenomena in electrical contact systems by arcing are presented in the book. All phenomena at contact opening and closure are considered as consecutive stages including the initial stage of Joule’s heating, appearance and explosion of a liquidmetallic bridge, ignition, evolution and extinction of the electrical arc in metallic and gaseous phases. Step by step the mechanism of the arc erosion due to vaporization, as well as the new mechanisms of erosion due to thermocapillary convection and erosion in solid state due to thermo elastic stresses are introduced and considered. Mathematical models of arc floating, bouncing and welding, arctoglow transition have practical applications in design of vacuum circuit breakers and other electrical contact systems.
Most of above models are based on the boundaryvalue problems for the systems of partial differential equations of parabolic and elliptic types in domains with free boundaries, and included the phase transformations such as melting and evaporation. For their solution were elaborated, in particular, the method of majoring functions, methods with using integral error functions, heat polynomials, dual integral equations.
Results of the modeling can be used for development of new circuit breakers and other electrical contact systems.
Researches, results of which are presented in the book, are supported by the Grant 5133/ГФ4 – «Methods of special functions for the solution of free boundary problems and their applications for modeling of heat and mass transfer at electrical arc phenomena» awarded by the Science Committee of the Ministry of Education and Sciences of Kazakhstan.

V.A. Evstigneev, V.N. Kasyanov
Russianenglish and englishrussian dictionary of graphs in computer science
Edited by prof. V.N. Kasyanov
Novosibirsk, 2011
The RussianEnglish and EnglishRussian dictionary contains about 5000
terms on graphtheory and its applications in informatics and programming. For
convenience of readers the single book includes the both parts: RussianEnglish
and EnglishRussian.
This dictionary is intended for the wide area of specialists which use the
graph theory techniques for solving their problems; first of all it is intended for
the programmers and specialists in AID, the creators of VLSI and other.

V.A. Evstigneev, V.N. Kasyanov
Dictionary of Graphs in Computer Science
Edited by prof. Kasyanov V.N.
Novosibirsk 2009
The book contains more than 2500 graphrelated terms with their clear and succinct definitions. In addition to the base graph theory terminology, terms and definitions from computing are included. Every term is presented in English and Russian, and its description is given.
The book will be useful for students and teachers of computing, and everyone who uses computers at home, lab, or in business.

Equivalences for behavioural analysis of concurrent and distributed computing systems
Academic Publisher "Geo", Novosibirsk, 2007
In the monograph, a wide range of behavioral equivalences has been proposed and investigated on the wellknown models for concurrent systems specification and analysis such as Petri nets and process algebras. The equivalence relations have been explored on subclasses and extensions of the models: time and stochastic Petri nets and stochastic process algebras. On Petri nets both with and without silent transitions and their subclasses a wide set of basic, backforth and place behavioural equivalences were proposed and investigated in the semantics ranged from interleaving to true concurrent as well as from linear to branching time ones. On time Petri nets both with and without silent transitions and their subclasses a number of time, untime and regional equivalences were proposed and investigated in interleaving and step semantics as well as in trace and bisimulation ones. Semantic equivalences of standard and stochastic process algebras are investigated, and a coherence between them and the net equivalence relations is clarified. An algorithm of automatic formula comparison for the semantic equivalence is designed and implemented. For graduate and postgraduate students and researchers interested in theoretical computer science, in particular, formal modeling and analysis of behavioural properties of concurrent systems and processes.
Keywords: standard, time and stochastic Petri nets, subclasses, standard and stochastic process algebras, invisible transitions and actions, behavioural and semantic equivalences, bisimulation, temporal and probabilistic logics, reduction, refinement and composition, congruence, axiomatization, term rewrite systems, implementation.
The book can be purchased in the internet shop of SB RAS Publisher or in the Akademkniga bookshop (22, Morskoj pr., 630090 Novosibirsk, Russia. Phone: +7 383 330 09 22).

Adaptive methods and tools for support of distance education in programming
Edited by prof. V.N. Kasyanov
Novosibirsk 2007
The book is devoted to the development of adaptive methods and tools for
support of distance education in programming in the framework of the problembased
approach. It is the fourteenth volume in a series of books published by
A.P. Ershov Institute of Informatics Systems SB RAS on problems of program
construction and optimization. The problems of distance and problembased education
are considered, as well as the methods and tools of its adaptation and intellectualization.
The adaptive environment WAPE for support of distance education
in programming in the framework of the problembased approach is described.
An introductory course of programming on the base of a new language
Zonnon is presented.
The book is intended for system programmers, students and postgraduates
working in the field of system and theoretical programming. It will be of particular
interest for those connected with the development of methodological and program
tools for support of distance education.

V.N. Kasyanov, I.L. Mirzuitova
Slicing: program slices and their applications
Edited by prof. V.N. Kasyanov
Novosibirsk 2002
This volume presents an overview of program slicing, including various approaches
and algorithms used to compute slices, as well as an overview of applications
of program slicing, which include debugging, program integration, dataflow
testing, reengineering and software maintenance. It is the eights among
books published in A. P. Ershov Institute of Informatics Systems on problems of
program construction and optimization.
The volume is of interest for system programmers, students and postgraduate
students working in the field of system and theoretical programming.

MODULA2 language standard
Tutorial
The Latest Edition
Novosibirsk 2002

V.A. Nepomniaschy, A.G. Alekseev, A.V. Bystrov, S.A. Kurtov, S.P. Mylnikov, E.V. Okunishnikova, P.A. Chubarev, T.G. Churina
Verification of Estelle Specification of Distributed Systems using Coloured Petri Nets
This work is devoted to research dealing with automated
constructing net models of Estelle specifications and developing
verification tools of the models. We consider Estelle specifications
with delayclauses and priorities, but without dynamic constructions.
The specifications allows to represent a considerable class of
communication protocols. We use coloured Petri nets extended by
priorities and Merlin's time concepts as the net models. This work
describes a method of translating the Estelle specification into
the net models, its implementation and the system NetCalc for editing
and simulating the models. We present experimental results of net
modeling and simulation for versions of the following wellknown protocols:
sliding window, ring, connection and InRes.

