Dos planificadores son serializables (o equivalentes) si