О временном представлении теории взаимодействующих процессов Хоара
В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра. У статті вводиться параметр часу до теорії взаємодіючих процесі...
Gespeichert in:
| Veröffentlicht in: | Математичні машини і системи |
|---|---|
| Datum: | 2011 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем математичних машин і систем НАН України
2011
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/83600 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862751760127361024 |
|---|---|
| author | Гайтан, Е.Н. |
| author_facet | Гайтан, Е.Н. |
| citation_txt | О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра.
У статті вводиться параметр часу до теорії взаємодіючих процесів Хоара. Представлені основні операції теорії, такі як префіксація, рекурсія, оператори вибору та ін. та аксіоматичні закони теорії з урахуванням введеного параметра.
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.
|
| first_indexed | 2025-12-07T21:12:51Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83600 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T21:12:51Z |
| publishDate | 2011 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Гайтан, Е.Н. 2015-06-20T20:01:32Z 2015-06-20T20:01:32Z 2011 О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/83600 004.82 В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра. У статті вводиться параметр часу до теорії взаємодіючих процесів Хоара. Представлені основні операції теорії, такі як префіксація, рекурсія, оператори вибору та ін. та аксіоматичні закони теорії з урахуванням введеного параметра. 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Моделювання і управління великими системами О временном представлении теории взаимодействующих процессов Хоара Про часове представлення теорії взаємодіючих процесів Хоара About time representation of the Hoare communicating processes theory Article published earlier |
| spellingShingle | О временном представлении теории взаимодействующих процессов Хоара Гайтан, Е.Н. Моделювання і управління великими системами |
| title | О временном представлении теории взаимодействующих процессов Хоара |
| title_alt | Про часове представлення теорії взаємодіючих процесів Хоара About time representation of the Hoare communicating processes theory |
| title_full | О временном представлении теории взаимодействующих процессов Хоара |
| title_fullStr | О временном представлении теории взаимодействующих процессов Хоара |
| title_full_unstemmed | О временном представлении теории взаимодействующих процессов Хоара |
| title_short | О временном представлении теории взаимодействующих процессов Хоара |
| title_sort | о временном представлении теории взаимодействующих процессов хоара |
| topic | Моделювання і управління великими системами |
| topic_facet | Моделювання і управління великими системами |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83600 |
| work_keys_str_mv | AT gaitanen ovremennompredstavleniiteoriivzaimodeistvuûŝihprocessovhoara AT gaitanen pročasovepredstavlennâteoríívzaêmodíûčihprocesívhoara AT gaitanen abouttimerepresentationofthehoarecommunicatingprocessestheory |