Towards action refinement for true concurrent real time Mila Majster-CederbaumJinzhao Wu Original Paper Pages: 531 - 577
Ideal preemptive schedules on two processors E. G. CoffmanJ. SethuramanV. G. Timkovsky Original Paper Pages: 597 - 612