Russian ⇄ English

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