DictionaryForumContacts

   English
Terms for subject Programming containing be on it | all forms
EnglishRussian
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)