dining philosophers problem

задача об обедающих философах (модель для анализа тупиковых ситуаций в системах параллельных процессов ssn)