О временном представлении теории взаимодействующих процессов Хоара
В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра....
Збережено в:
| Дата: | 2011 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2011
|
| Назва видання: | Математичні машини і системи |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/83600 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-83600 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-836002015-06-21T03:02:47Z О временном представлении теории взаимодействующих процессов Хоара Гайтан, Е.Н. Моделювання і управління великими системами В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра. У статті вводиться параметр часу до теорії взаємодіючих процесів Хоара. Представлені основні операції теорії, такі як префіксація, рекурсія, оператори вибору та ін. та аксіоматичні закони теорії з урахуванням введеного параметра. The article studies addition of the time parameter to the theory of communicating processes of Hoare. The basic operations of theory, such as prefix, recursion, selection operator and other, and axiomatic laws of theory are rewritten taking into account the entered parameter. 2011 Article О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/83600 004.82 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Моделювання і управління великими системами Моделювання і управління великими системами |
| spellingShingle |
Моделювання і управління великими системами Моделювання і управління великими системами Гайтан, Е.Н. О временном представлении теории взаимодействующих процессов Хоара Математичні машини і системи |
| description |
В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра. |
| format |
Article |
| author |
Гайтан, Е.Н. |
| author_facet |
Гайтан, Е.Н. |
| author_sort |
Гайтан, Е.Н. |
| title |
О временном представлении теории взаимодействующих процессов Хоара |
| title_short |
О временном представлении теории взаимодействующих процессов Хоара |
| title_full |
О временном представлении теории взаимодействующих процессов Хоара |
| title_fullStr |
О временном представлении теории взаимодействующих процессов Хоара |
| title_full_unstemmed |
О временном представлении теории взаимодействующих процессов Хоара |
| title_sort |
о временном представлении теории взаимодействующих процессов хоара |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2011 |
| topic_facet |
Моделювання і управління великими системами |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/83600 |
| citation_txt |
О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос. |
| series |
Математичні машини і системи |
| work_keys_str_mv |
AT gajtanen ovremennompredstavleniiteoriivzaimodejstvuûŝihprocessovhoara |
| first_indexed |
2024-03-30T08:21:19Z |
| last_indexed |
2024-03-30T08:21:19Z |
| _version_ |
1796146992372514816 |