DictionaryForumContacts

Terms containing back-to-back processes | all forms | in specified order only
SubjectEnglishRussian
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