Assuming you meant class InitialProcess : Process
This is exactly following the Liskov principle.
Both classes have the same interface but different (extended) behaviour. The derived class does not have a different pre-condition, it has a different validation-rule. Which is quite OK and does not break anything.