Нестеренко, Б.Б.; Новотарский, М.А.
(Электронное моделирование, 2008)
The process algebra is considered which is on the parallel structure orientated description. The structures function with real working load. The basic concepts are determined for behavioral equivalence of models submitted ...