Аннотация:
В статье рассматриваются вопросы обработки логических сигналов и создания именованных объектов языка Cell, вводится понятие атомарности перехода и определяется процедура сериализации сигналов.
Ключевые слова:язык Cell, логический сигнал, ячейка автомата, контекст ячейки, класс видимости, сериализация, иерархический автомат, синтез программного обеспечения, телекоммуникационный протокол.
Полный текст:
PDF файл (292 kB)