English ⇄ Russian

the assumption can only be violated if multiple processes access the monitor simultaneously stresses
progr.	это допущение может быть нарушено только в случае одновременного доступа к монитору со стороны многих процессов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)