| |
Гайтан, Е. Н.
О временном представлении теории взаимодействующих процессов Хоара [Текст] / Е. Н. Гайтан
// Математичні машини і системи. – 2011. – № 3. – С. 130-134.
В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра. |
