Normal view
MARC view
К построению параллельной композиции расширенных автоматов Е. В. Широкова, С. А. Прокопенко, Н. В. Шабалдина
Material type:
ArticleOther title: On deriving the parallel composition of extended finite state machines [Parallel title]Subject(s): расширенные автоматы | конечные автоматы | параллельная композиция расширенных автоматовGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 48. С. 83-91Abstract: Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Исследуются условия, при которых поведение взаимодействующих компонент можно описать расширенным автоматом без перехода к эквивалентным конечным автоматам.
No physical items for this record
Библиогр.: 10 назв.
Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Исследуются условия, при которых поведение взаимодействующих компонент можно описать расширенным автоматом без перехода к эквивалентным конечным автоматам.
There are no comments on this title.