Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
back-to-back processes
|
all forms
|
in specified order only
Subject
English
Russian
automat.
back-to-back processes
последовательные процессы
(обработки)
progr.
represent processes with unbounded behaviour it is necessary to introduce another convention, namely an unlabelled arrow leading from a leaf circle back to some earlier circle in the tree
для представления процессов, обладающих неограниченным поведением, необходимо ещё одно условное обозначение, а именно: непомеченная дуга, ведущая из висячей вершины назад к некоторой вершине дерева
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
progr.
the convention is that when a process reaches the node at the tail of the arrow, it immediately and imperceptibly goes back to the node to which the arrow points
Условимся, что когда процесс достигает вершины у основания этой дуги, он мгновенно переходит назад к вершине, на которую указывает дуга
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
)
Get short URL