Cover Image

Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов

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 by labeled transition systems. Definition is formed and the basic properties a...

Full description

Saved in:
Bibliographic Details
Published in:Электронное моделирование
Date:2008
Main Authors: Нестеренко, Б.Б., Новотарский, М.А.
Format: Article
Language:Russian
Published: Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2008
Subjects:
Математические методы и модели
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/101549
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов / Б.Б. Нестеренко, М.А. Новотарский // Электронное моделирование. — 2008. — Т. 30, № 1. — С. 3-18. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Similar Items