A conditional abortable priority ceiling protocol for real-time systems with mixed tasks.

Kam-yiu Lam, Kwok-Kin Cheung, Joseph Kee-Yin Ng

Browse the full ECRTS paper archive.