Mathematical problems in the theory of shared-processor systems · Study