CONTENTS

  I.S. Anureev
  A three-stage method of C program verification ...............    1

  I.S.Anureev, E.V.Bodin, L.V.Gorodnyaya, A.G.Marchuk,
  F.A.Murzin, N.V.Shilov
  On the problem of computer language classification ...........   31

  V.A.Bashkin
  Nets of active resources for distributed systems modeling ....   43

  N.S.Gribovskaya
  Categorical modelling of trace equivalence for timed
  automata models with invariants ..............................   55

  P.A.Kalinnikov, F.A.Murzin, T.A.Pletneva
  Some algorithms of image processing and their reflection
  onto multiprocessor systems ..................................   67

  P.A.Marchuk, F.A.Murzin
  On structures of data and ontology of facto-graphical
  information systems ..........................................   79

  A.S.Nepomniaschaya
  Parallel implementation of the Ramalingam decremental
  algorithm for dynamic updating the single-sink
  shortest paths subgraph ......................................   93

  D.K.Ponomaryov
  On decomposability in logical calculi ........................  111

  I.V.Tarasyuk
  A notion of congruence for dtsPBC ............................  121