| 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) |
