Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms for subject
Programming
containing
be on the ... side
|
all forms
English
Russian
Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same
Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
Get short URL