Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
Czech
English
French
Hungarian
Italian
Japanese
Terms
for subject
Programming
containing
если же
|
all forms
|
exact matches only
|
in specified order only
Russian
English
если же
множества начального выбора оказываются равными и для каждой начальной альтернативы дальнейшее поведение процессов совпадает, то очевидно, что процессы тождественны
However, if the initial choices are the same, and for each initial choice the subsequent behaviours are the same, then obviously the processes are identical
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
Get short URL