Terms containing multiple processes access the monitor simultaneously

Subject	English	Russian
progr.	multiple processes access the monitor simultaneously	одновременный доступ к монитору со стороны многих процессов (ssn)
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)