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

Item ID: 3918
1 Media file
2018/09/27
Набір елементів
Навчально-науковий інститут інформаційних технологій та робототехніки » Кафедра комп'ютерних та інформаційних технологій і систем
03_2011_Gajtan
Властивості
Тип
Українська
Наукові статті
Назва
Українська
О временном представлении теории взаимодействующих процессов Хоара
Українська
Про часове представлення теорії взаємодіючих процесів Хоара
Автор
Українська
Гайтан, О.М.
Опис
Українська
В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра.
Українська
У статті вводиться параметр часу до теорії взаємодіючих процесів Хоара. Представлені основні операції теорії, такі як префіксація, рекурсія, оператори вибору та ін. та аксіома-тичні закони теорії з урахуванням введеного параметра
Мова
Російська
Дата випуску
2011
Тематика
Українська
теория взаимодействующих процессов
Українська
теорія взаємодіючих процесів
Українська
событие
Українська
процесс
Українська
подія
Українська
протокол
Українська
префіксація
Українська
рекурсия
Українська
рекурсія
Українська
оператор выбора
Українська
оператор вибору
Українська
функция переименования
Українська
функція перейменування
Видавництво
Українська
Інститут проблем математичних машин і систем НАН України
Бібліографічний опис
Українська
Гайтан Е.Н. О временном представлении теории взаимодействующих процессов Хоара / Гайтан Е.Н. // Математические машины и системы. - 2011. - № 3. - С. 130 - 134.
УДК
004.82
Набори елементів 1
Кафедра комп'ютерних та інформаційних технологій і систем
18 1345 items
Медіа
03_2011_Gajtan
03_2011_Gajtan
Metadata Information
Створено
2018-9-27 22:21
Last Modified
2018-9-27 22:21
Date Issued (DC)
2011
Item ID
#3918
Resource Template
Наукова стаття