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

dc.contributor.author	Гайтан, Е.Н.
dc.date.accessioned	2015-06-20T20:01:32Z
dc.date.available	2015-06-20T20:01:32Z
dc.date.issued	2011
dc.identifier.citation	О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос.	uk_UA
dc.identifier.issn	1028-9763
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/83600
dc.description.abstract	В статье вводится параметр времени в теорию взаимодействующих процессов Хоара. Представлены основные операции теории, такие как префиксация, рекурсия, операторы выбора и др. и аксиоматические законы теории с учетом введенного параметра.	uk_UA
dc.description.abstract	У статті вводиться параметр часу до теорії взаємодіючих процесів Хоара. Представлені основні операції теорії, такі як префіксація, рекурсія, оператори вибору та ін. та аксіоматичні закони теорії з урахуванням введеного параметра.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут проблем математичних машин і систем НАН України	uk_UA
dc.relation.ispartof	Математичні машини і системи
dc.subject	Моделювання і управління великими системами	uk_UA
dc.title	О временном представлении теории взаимодействующих процессов Хоара	uk_UA
dc.title.alternative	Про часове представлення теорії взаємодіючих процесів Хоара	uk_UA
dc.title.alternative	About time representation of the Hoare communicating processes theory	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.82