Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://reposit.nupp.edu.ua/handle/PoltNTU/4169| Назва: | О временном представлении теории взаимодействующих процессов Хоара = Про часове представлення теорії взаємодіючих процесів Хоара |
| Автори: | Гайтан, О.М. |
| Тематичні ключові слова: | теория взаимодействующих процессов теорія взаємодіючих процесів событие подія процесс протокол префіксація рекурсия рекурсія оператор выбора оператор вибору функция переименования функція перейменування |
| Дата публікації: | 2011 |
| Видавництво: | Інститут проблем математичних машин і систем НАН України |
| Анотація: | В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра. У статті вводиться параметр часу до теорії взаємодіючих процесів Хоара. Представлені основні операції теорії, такі як префіксація, рекурсія, оператори вибору та ін. та аксіома-тичні закони теорії з урахуванням введеного параметра |
| Бібліографічний опис: | Гайтан Е.Н. О временном представлении теории взаимодействующих процессов Хоара / Гайтан Е.Н. // Математические машины и системы. - 2011. - № 3. - С. 130 - 134. |
| URI (Уніфікований ідентифікатор ресурсу): | http://reposit.pntu.edu.ua/handle/PoltNTU/4169 |
| Розташовується у зібраннях: | Кафедра комп'ютерних та інформаційних технологій і систем |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 03_2011_Gajtan.pdf | Стаття | 133.22 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.