[Pharo-users] Process scheduling

Hi, I can't find a description on how ProcessorScheduler in Pharo (i.e., Cog) is supposed to do context switches in absence of other synchronization points. Is it following the BlueBook spec? Just to recall that model, the VM, when about to execute the current bytecode instruction of the current Process, checks whether a strictly higher priority Process is ready to run and if so, switches to (one of) the highest priority among them. Thanks in advance for clarifications. Greetings Raffaello