Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
Terms
for subject
Programming
containing
именно для
|
all forms
Russian
English
для представления процессов, обладающих неограниченным поведением, необходимо ещё одно условное обозначение, а именно: непомеченная дуга, ведущая из висячей вершины назад к некоторой вершине дерева
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
)
Get short URL