STEUER process is deadlock free and consistent