1. eNUPPIR «Еlectronic National University «Yuri Kondratyuk Poltava Politechnic» Institutional Repository
  2. Навчально-науковий інститут інформаційних технологій та робототехніки
  3. Кафедра комп'ютерних та інформаційних технологій і систем
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://reposit.nupp.edu.ua/handle/PoltNTU/4169
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorГайтан, О.М.-
dc.date.accessioned2018-09-27T19:21:08Z-
dc.date.available2018-09-27T19:21:08Z-
dc.date.issued2011-
dc.identifier.urihttp://reposit.pntu.edu.ua/handle/PoltNTU/4169-
dc.descriptionГайтан Е.Н. О временном представлении теории взаимодействующих процессов Хоара / Гайтан Е.Н. // Математические машины и системы. - 2011. - № 3. - С. 130 - 134.uk_UA
dc.description.abstractВ статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра.uk_UA
dc.description.abstractУ статті вводиться параметр часу до теорії взаємодіючих процесів Хоара. Представлені основні операції теорії, такі як префіксація, рекурсія, оператори вибору та ін. та аксіома-тичні закони теорії з урахуванням введеного параметраuk_UA
dc.language.isoruuk_UA
dc.publisherІнститут проблем математичних машин і систем НАН Україниuk_UA
dc.subjectтеория взаимодействующих процессовuk_UA
dc.subjectтеорія взаємодіючих процесівuk_UA
dc.subjectсобытиеuk_UA
dc.subjectподіяuk_UA
dc.subjectпроцессuk_UA
dc.subjectпротоколuk_UA
dc.subjectпрефіксаціяuk_UA
dc.subjectрекурсияuk_UA
dc.subjectрекурсіяuk_UA
dc.subjectоператор выбораuk_UA
dc.subjectоператор виборуuk_UA
dc.subjectфункция переименованияuk_UA
dc.subjectфункція перейменуванняuk_UA
dc.titleО временном представлении теории взаимодействующих процессов Хоара = Про часове представлення теорії взаємодіючих процесів Хоараuk_UA
dc.typeНаукові статтіuk_UA
dc.identifier.udc004.82-
Розташовується у зібраннях:Кафедра комп'ютерних та інформаційних технологій і систем

Файли цього матеріалу:
Файл Опис РозмірФормат 
03_2011_Gajtan.pdfСтаття133.22 kBAdobe PDFПереглянути/Відкрити
Показати базовий опис матеріалу Рекомендувати цей матеріал Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.