Proving the Correctness of Multiprocess Programs
Multiprocessor Scheduling with the Aid of Network Flow Algorithms