О временном представлении теории взаимодействующих процессов Хоара

• Published in: Математичні машини і системи
• Date: 2011
• Main Author: Гайтан, Е.Н.
• Format: Article
• Language: Russian
• Published: Інститут проблем математичних машин і систем НАН України 2011
• Subjects: Моделювання і управління великими системами
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/83600
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос.

В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра. У статті вводиться параметр часу до теорії взаємодіючих процесі...